This book constitutes the refereed proceedings of the 13th International Conference on Principles and Practice of Constraint Programming, CP 2007, held in Providence, RI, USA, in September 2007.
The 51 revised full papers and 14 revised short papers presented together with 8 application papers and the abstracts of 2 invited lectures were carefully reviewed and selected from 165 submissions. All current issues of computing with constraints are addressed, ranging from methodological and foundational aspects - using algorithms, environments, languages, models and systems - to solving real-world problems in various application fields.