SAT Solving in der Praxis
-
Type:
Vorlesung / Übung (VÜ)
-
Chair:
ITI Sanders
-
Semester:
SS 2025
-
Time:
Mo. 28.04.2025
15:45 - 17:15, wöchentlich
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
weitere...
Di. 29.04.2025
15:45 - 17:15
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Mo. 05.05.2025
15:45 - 17:15, wöchentlich
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Mo. 12.05.2025
15:45 - 17:15, wöchentlich
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Di. 13.05.2025
15:45 - 17:15
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Mo. 19.05.2025
15:45 - 17:15, wöchentlich
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Mo. 26.05.2025
15:45 - 17:15, wöchentlich
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Di. 27.05.2025
15:45 - 17:15
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Mo. 02.06.2025
15:45 - 17:15, wöchentlich
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Mo. 16.06.2025
15:45 - 17:15, wöchentlich
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Mo. 23.06.2025
15:45 - 17:15, wöchentlich
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Di. 24.06.2025
15:45 - 17:15
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Mo. 30.06.2025
15:45 - 17:15, wöchentlich
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Mo. 07.07.2025
15:45 - 17:15, wöchentlich
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Di. 08.07.2025
15:45 - 17:15
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Mo. 14.07.2025
15:45 - 17:15, wöchentlich
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Mo. 21.07.2025
15:45 - 17:15, wöchentlich
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Di. 22.07.2025
15:45 - 17:15
50.34 Raum 301
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten (3. Obergeschoss)
Mo. 28.07.2025
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
Dr. Dominik Schreiber
-
SWS:
3
-
Lv-No.:
2400115