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: Ashlin Iser (ITI Sanders), Dominik Schreiber
Course material & details: satlecture.github.io/kit2026

This lecture with exercises is offered by Ashlin 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.

All information and material surrounding the lecture are available at satlecture.github.io/kit2026.