Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007. Proceedings - Hentenryck, Pascal Van; Wolsey, Laurence (Springer Berlin Heidelberg, 2007)