Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems - Beck, J. Christopher; Kanade, Takeo; Smith, Barbara M.; Kittler, Josef; Smith, Barbara (Springer Berlin / Heidelberg, 2006)