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 - Tobias Achterberg, J. Christopher Beck ((Lecture Notes in Computer Science))