A Tutorial on Constraint Programming
Foundations of Constraint Satisfaction