SAT Solving in der Praxis
- Typ: Vorlesung / Übung (VÜ)
-
Ort:
Geb. 50.34 Raum 301
-
Zeit:
Montag 15:45 - 17:15
Dienstag 15:45 - 17:15 14-täglich -
Dozent:
Prof. Dr. Peter Sanders
Dr. Markus Iser
Dr. Dominik Schreiber - SWS: 3
- LVNr.: 2400115