Artificial Intelligence
Constraint Satisfaction Problems
Formal Definition of Constraints
Arc Consistency
Arc Consistency Propagation
Establishing Arc Consistency
AC3
Exercises
Maintaining AC (MAC)
Special kinds of Consistency
All Different
Formulation of CSP’s
Cryptarithmetic Revisited
DONALD + GERALD = ROBERT
This shouldn’t work ?!?
Email: ipg@dcs.st-and.ac.uk
Home Page: http://www.dcs.st-and.ac.uk/~ipg
Download presentation source