We investigate in this thesis a tight collaboration between techniques of Abstract Interpretation and Constraint Programming within a unified method of resoluti

Constraint Programming aims at solving hard combinatorial problems, with a computation time increasing in practice exponentially. The methods are today efficien

This book constitutes the proceedings of the First International Conference on Principles and Practice of Constraint Programming, CP '95, held in Cassis near Ma

This book constitutes the thoroughly refereed post-proceedings of the Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Pro

Coordinating production across a supply chain, designing a new VLSI chip, allocating classrooms or scheduling maintenance crews at an airport are just a few exa