Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems : First International Conference, CPAIOR 2004, Nice, France, April 20-22, 2004, Proceedings - Jean-Charles Régin, Michel Rueher ((Lecture Notes in Computer Science))