252-0491-00L
Satisfiability of Boolean Formulas - Combinatorics and Algorithms
Semester | Spring Semester 2016 |
Lecturers | E. Welzl |
Periodicity | yearly recurring course |
Language of instruction | English |
Comment | Takes place for the last time in spring 2016. |
Number | Title | Hours | | Lecturers |
---|
252-0491-00 V | Satisfiability of Boolean Formulas - Combinatorics and Algorithms | 3 hrs | | E. Welzl |
252-0491-00 U | Satisfiability of Boolean Formulas - Combinatorics and Algorithms | 2 hrs | | E. Welzl |
252-0491-00 A | Satisfiability of Boolean Formulas - Combinatorics and Algorithms
No presence required. | 1 hrs | | E. Welzl |