Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems : Second International Conference, CPAIOR 2005, Prague, Czech Republic, May 31 -- June 1, 2005 - Roman Barták, Michela Milano ((Lecture Notes in Computer Science))