Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems - Lodi, Andrea; Kanade, Takeo; Milano, Michela; Toth, Paolo (Springer Berlin Heidelberg, 2010)