Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 7th International Conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010. Proceedings - Lodi, Andrea (Springer-Verlag Berlin Heidelberg, 2010)