Content: Advanced Topics in AI
(Part 6)
Global Constraints
Motivation
Domain Consistency
The Alldifferent Constraint
Background on Matching Theory
Régin's Algorithm