Constraint Programming (Doctoral class)
These documents are not self-contained and support a 9 hours class.
- Course: course_cp_short.pdf
- Introduction: 1-Intro.pdf
- Arc-consistency algorithms for binary networks, MAC: 2-AcXAndMAC.pdf
- Global-constraints: 3-GlobalConstraints.pdf
- Search (from Emmanuel Hebrard): 4-Search.pdf
Constraint Programming (Example)
Basic understanding of the propagation performed in a constraint solver through the kakuro puzzle. Insights about bound consistency and generalized arc consistency.