Chair of Computer Architecture

University of Freiburg

SAT Solving Lecture Summer Semester 2022



Introduction into advanced data structures and algorithms for SAT Solving.


The mode of the exercises depends on the number of participants and finalized at the end of the first week.

Given the number of attendees of the first lecture on Monday we plan to split the exercises into a theoretical part with classical exercises, which are only presented but not graded, and a practical part where you have to hand in personal solutions. More about this second part will be explained with the first pratical exercise sheet published next Monday on May 2 in ILIAS.


The course will very similar to same course taught at JKU for which you already find more resources here:

We are in the process of copying and extending this material, which will then be made available here and in the ILIAS page of this course.