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)
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
-
Information:
Develop your expertise in solving real-world SAT instances
- Using SAT Solving: Solver usage, general encoding techniques, efficient CNF encodings of constraints, properties of encodings, . . .
- Practical Hardness of SAT: Tractable classes, instance structure, hardest instances, proof complexity, . . .
- Methods for SAT Solving: Algorithms, and data structures, heuristics, implementation techniques, parallelization, proof formats, . . .
- Applications of SAT Solving: Hardware and software verification, planning and scheduling, security and cryptography, formal explainable artificial intelligence (FXAI), . . .