Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems - Perron, Laurent; Kanade, Takeo; Trick, Michael A.; Kittler, Josef (Springer Berlin Heidelberg, 2008)