Practical SAT Solving
-
Type:
Vorlesung / Übung (VÜ)
-
Chair:
ITI Sanders
-
Semester:
SS 2026
-
Time:
Mo. 20.04.2026
15:45 - 17:15, wöchentlich
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
weitere...
Di. 21.04.2026
15:45 - 17:15, zweiwöchentlich
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Mo. 27.04.2026
15:45 - 17:15, wöchentlich
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Mo. 04.05.2026
15:45 - 17:15, wöchentlich
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Di. 05.05.2026
15:45 - 17:15, zweiwöchentlich
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Mo. 11.05.2026
15:45 - 17:15, wöchentlich
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Mo. 18.05.2026
15:45 - 17:15, wöchentlich
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Di. 19.05.2026
15:45 - 17:15, zweiwöchentlich
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Mo. 01.06.2026
15:45 - 17:15, wöchentlich
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Di. 02.06.2026
15:45 - 17:15, zweiwöchentlich
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Mo. 08.06.2026
15:45 - 17:15, wöchentlich
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Mo. 15.06.2026
15:45 - 17:15, wöchentlich
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Di. 16.06.2026
15:45 - 17:15, zweiwöchentlich
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Mo. 22.06.2026
15:45 - 17:15, wöchentlich
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Mo. 29.06.2026
15:45 - 17:15, wöchentlich
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Di. 30.06.2026
15:45 - 17:15, zweiwöchentlich
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Mo. 06.07.2026
15:45 - 17:15, wöchentlich
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Mo. 13.07.2026
15:45 - 17:15, wöchentlich
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Di. 14.07.2026
15:45 - 17:15, zweiwöchentlich
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Mo. 20.07.2026
15:45 - 17:15, wöchentlich
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Mo. 27.07.2026
15:45 - 17:15, wöchentlich
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Di. 28.07.2026
15:45 - 17:15, zweiwöchentlich
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
-
Lecturer:
Prof. Dr. Peter Sanders
Dr. Ashlin Iser
Dr. Dominik Schreiber
-
SWS:
3
-
Lv-No.:
2400218