This book constitutes the refereed proceedings of the 13th International Conference on Principles and Practice of Constraint Programming, CP 2007. It contains 51 revised full papers and 14 revised short papers presented together with eight application papers and the abstracts of two invited lectures. All current issues of computing with constraints are addressed, ranging from methodological and foundational aspects to solving real-world problems in various application fields.13th International Conference, CP 2007, Providence, RI, USA, September 25-29, 2007, Proceedings Christian Bessiere ... of the shortest proofs in S w.r.t. the length of the shortest proofs in S.IfS simulates S and vice versa, then S and S are polynomially equivalent. ... The correspondence between system input of a real- world problem and propositional variables in the flat CNF encoding is not evident .
|Title||:||Principles and Practice of Constraint Programming - CP 2007|
|Publisher||:||Springer Science & Business Media - 2007-10-11|