Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : 8th International Conference, CPAIOR 2011, Berlin, Germany, May 23-27, 2011. Proceedings / edited by Tobias Achterberg, J. Christopher Beck.