Artificial Intelligence
Constraint Satisfaction Problems
Who Cares?
Colouring as CSP
SAT as a CSP
N-Queens as a CSP
Formal Definition of Constraints
More Complex Constraints
Donald + Gerald = Robert
Search in Constraints
Forward Checking
Forward Checking, example
Heuristics
Next time
Email: ipg@dcs.st-and.ac.uk
Home Page: http://www.dcs.st-and.ac.uk/~ipg
Download presentation source