Recent Advances in Constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers - Boi V. Faltings, Adrian Petcu, François Fages, Francesca Rossi ((Lecture Notes in Computer Science))