Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 8th International Conference, CPAIOR 2011, Berlin, Germany, May 23-27, 2011. Proceedings - Achterberg, Tobias; Beck, J. Christopher (Springer Berlin Heidelberg, 2011)