This book constitutes the refereed proceedings of the 17th International Conference on Principles and Practice of Constraint Programming, CP 2011, held in Perug

Constraint programming aims at supporting a wide range of complex applications, which are often modeled naturally in terms of constraints. Early work, in the 19

This book provides a significant step towards bridging the areas of Boolean satisfiability and constraint satisfaction by answering the question why SAT-solvers

The Springer Handbook for Computational Intelligence is the first book covering the basics, the state-of-the-art and important applications of the dynamic and r

The topic of this book is the following optimisation problem: given a set of discrete variables and a set of functions, each depending on a subset of the variab