Propositional satisfiability and SAT solvers

These are the lecture notes for the first rounds in the Aalto University course CS-E3220 Declarative Programming organized in Autumn \(2021\). The lecture notes and slides for other rounds are given elsewhere, please see the MyCourses and the A+ pages of the course.

These notes can only give an introduction to propositional satisfiability. An interested reader can take a look at the following for further information: