SAtRes    Teaching    Practical SAT Solving

Practical SAT Solving

Course type: Lecture with exercises (5 ECTS)
Time slots: Mo 15:45; Tue 15:45 bi-weekly
Lecturers: Markus Iser (ITI Sanders), Dominik Schreiber
Course material & details: satlecture.github.io/kit2025

This lecture with exercises is offered by Markus Iser (ITI Sanders) and Dominik Schreiber. It provides a friendly and practical overview of the subject of SAT solving, including its theoretical background, important algorithms and techniques, parallelization, proofs, applications, and related tools (MaxSAT, SMT). No particular prior knowledge beyond basic foundations of computer science is required.

The first lecture takes place on Tuesday, April 22 at 15:45 in building 50.34 room 301.

For reference, all information and material surrounding last year’s lecture are available at satlecture.github.io/kit2024.