Recent Advances in Constraints 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers - Fages, François; Rossi, Francesca; Soliman, Sylvain (Springer Berlin Heidelberg : Imprint: Springer, 2008)