SAT Solving in der Praxis
- Type: Vorlesung / Übung (VÜ)
- Chair: KIT-Fakultäten - KIT-Fakultät für Informatik - Institut für Theoretische Informatik - ITI Sanders
- Semester: SS 2024
-
Time:
wöchentlich montags 15:45 - 17:15 Uhr
ab dem 15.04.2024
bis zum 22.07.2024
in 50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
-
Lecturer:
Prof. Dr. Peter Sanders
Dr. Markus Iser
Dr. Dominik Schreiber - SWS: 3
- Lv-No.: 2400115
Links