Handbook of Constraint Programming

Covers the basic foundations of constraint programming, including the history, the notion of constraint propagation, basic search methods, global constraints, and more. This work also covers constraint languages and solver, several useful extensions to the basic framework, and successful application areas for constraint programming.