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 2023
-
Time:
Mo 17.04.2023
15:45 - 17:15, einmalig
50.34 Raum -118
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (1. Untergeschoss)
Mo 24.04.2023
15:45 - 17:15, wöchentlich
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Di 25.04.2023
15:45 - 17:15
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Mo 08.05.2023
15:45 - 17:15, wöchentlich
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Di 09.05.2023
15:45 - 17:15
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Mo 15.05.2023
15:45 - 17:15, wöchentlich
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Mo 22.05.2023
15:45 - 17:15, wöchentlich
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Di 23.05.2023
15:45 - 17:15
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Mo 05.06.2023
15:45 - 17:15, wöchentlich
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Di 06.06.2023
15:45 - 17:15
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Mo 12.06.2023
15:45 - 17:15, wöchentlich
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Mo 19.06.2023
15:45 - 17:15, wöchentlich
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Di 20.06.2023
15:45 - 17:15
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Mo 26.06.2023
15:45 - 17:15, wöchentlich
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Mo 03.07.2023
15:45 - 17:15, wöchentlich
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Di 04.07.2023
15:45 - 17:15
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Mo 10.07.2023
15:45 - 17:15, wöchentlich
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Mo 17.07.2023
15:45 - 17:15, wöchentlich
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Di 18.07.2023
15:45 - 17:15
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Mo 24.07.2023
15:45 - 17:15, wöchentlich
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
-
Lecturer:
Prof. Dr. Peter Sanders
Dr. Markus Iser
Dominik Schreiber
Dr. Tomas Balyo - SWS: 3
- Lv-No.: 2400115
Links