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.

Contents:

• Introduction and basic definitions
  • CNF SAT as CSP
• Global constraints
  • The all-different global constaint
  • The sum global constraint
  • The cumulative global constraint
• Backtracking Search
• Constraint Propagation
  • The sum constraint
  • The all-different constraint
• References

Indices and tables

• Index

• Module Index

• Search Page