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 4741 bessiere christian on amazoncom free shipping on qualifying offers principles and practice of constraint programming cp 2007 13th international conference cp 2007 providence ri usa. Principles and practice of constraint programming cp 2007 13th international conference cp 2007 providence ri usa september 23 27 2007 proceedings lecture notes in computer science 4741 springer 2007 isbn 978 3 540 74969 1. Programming cp 2007 13th international conference cp 2007 providence ri usa september 23 27 2007 proceedings volume 4741 of lecture notes in computer science springer 2007 2 krzysztof apt principles of constraint programming cambridge university press 2003 9 niklas een and niklas sorensson an extensible sat solver in enrico giunchiglia and armando tacchella editors . Conference papers walsh t 2007 breaking value symmetry in 13th international conference on principles and practice of constraint programming providence rhode island usa pp 1585 1588 presented at 13th international conference on principles and practice of constraint programming providence rhode island usa 23 september 2007 27 september 2007