Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems - Hentenryck, Pascal; Hutchison, David; Kanade, Takeo; Van Hentenryck, Pascal; Wolsey, Laurence; Wolsey, Laurence A.; Kittler, Josef (Springer Berlin Heidelberg, 2007)