Materialien
Vorlesungsmaterial
Seminar: Dependency Quantified Boolean Formulas - Sommersemester 2015
Veranstalter
| Dozent | Bernd Becker, Prof. Dr., Lehrstuhl für Rechnerarchitektur |
| Ralf Wimmer, Dr., Lehrstuhl für Rechnerarchitektur | |
| Assistent | Paolo Marin, PhD, Lehrstuhl für Rechnerarchitektur |
| Karina Gitina, Dipl.-Inf., Lehrstuhl für Rechnerarchitektur |