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. Proceedings - Barták, Roman; Milano, Michela (Springer Berlin Heidelberg, 2005)