252-0491-00L Satisfiability of Boolean Formulas - Combinatorics and Algorithms
Semester | Frühjahrssemester 2015 |
Dozierende | E. Welzl |
Periodizität | jährlich wiederkehrende Veranstaltung |
Lehrsprache | Englisch |
Semester | Frühjahrssemester 2015 |
Dozierende | E. Welzl |
Periodizität | jährlich wiederkehrende Veranstaltung |
Lehrsprache | Englisch |