Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 9th International Conference, CPAIOR 2012, Nantes, France, May 28 - June 1, 2012, Proceedings Beldiceanu Nicolas Heftet / 2012 / Engelsk