252-0491-00L  Satisfiability of Boolean Formulas - Combinatorics and Algorithms

SemesterSpring Semester 2016
LecturersE. Welzl
Periodicityyearly recurring course
Language of instructionEnglish
CommentTakes place for the last time in spring 2016.


NumberTitleHoursLecturers
252-0491-00 VSatisfiability of Boolean Formulas - Combinatorics and Algorithms3 hrs
Tue10:15-12:00CAB G 59 »
Thu09:15-10:00CAB G 59 »
E. Welzl
252-0491-00 USatisfiability of Boolean Formulas - Combinatorics and Algorithms2 hrs
Tue13:15-15:00CAB G 57 »
02.06.08:15-10:00CHN F 42 »
E. Welzl
252-0491-00 ASatisfiability of Boolean Formulas - Combinatorics and Algorithms
No presence required.
1 hrsE. Welzl