# 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 $$2020$$. The lecture notes and slides for other rounds are given elsewhere, please see the MyCourses page of the course.