Constraint Programming
Part 1: The ABC of Constraint Programming
Constraint Programming (CP)
Constraint Satisfaction Problem
Classification of Constraints
Constraint Solving Methods
Applications
Part-II: CLP(FD)
Adder
SEND+MORE=MONEY
Color a Map
N-Queens Problem
A Solution of 100 Queens
Why is CLP(FD) Faster than Prolog?
Constraint Propagation
Forward Checking Maintain Node Consistency
Exercises
PPT Slide
4. Stable marriage problem
Email: zhou@sci.brooklyn.cuny.edu
Home Page: www.sci.brooklyn.cuny.edu/~zhou