CS-E3220: CSP — Constraint Satisfaction Problems¶

These are the lecture notes for the third round in the Aalto University course CS-E3220 Declarative Programming organized in Spring $$2020$$. The lecture notes and slides for other rounds are given elsewhere, please see the MyCourses page of the course.