Recent Advances in Constraints : 12th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers - François Fages, Francesca Rossi, Sylvain Soliman ((Lecture Notes in Computer Science))