The use of constraints had its scientific and commercial breakthrough in the 1990s. Programming with constraints makes it possible to model and specify problems

Constraint programming is a powerful paradigm for solving combinatorial search problems that draws on a wide range of techniques from artificial intelligence, c

The definitive reference on Constraint Handling Rules, from the creator of the language.

This book tackles classic problems from operations research and circuit design using a logic programming language embedding consistency techniques, a paradigm e

Constraint reasoning has matured over the last three decades with contributions from a diverse community of researchers in artificial intelligence, databases an