Practical SAT Solving
- Typ: Vorlesung / Übung (VÜ)
-
Zeit:
Montag
15:45 - 17:15, wöchentlich
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Dienstag
15:45 - 17:15, zweiwöchentlich
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss) -
Dozent:
Prof. Dr. Peter Sanders
Dr. Ashlin Iser
Dr. Dominik Schreiber - SWS: 3
- LVNr.: 2400218
| Vortragssprache | Englisch |