Principles and Practice of Constraint Programming - CP 2007: 13th International Conference, CP 2007, Providence, RI, USA, September 25-29, 2007, Proceedings (Lecture Notes in Computer Science)
暫譯: 約束程式設計的原則與實踐 - CP 2007：第十三屆國際會議，CP 2007，美國羅德島州普羅維登斯，2007年9月25-29日，會議論文集（計算機科學講義）

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.