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