Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems 9th International Conference, CPAIOR 2012, Nantes, France, May 28 – June1, 2012. Proceedings - Beldiceanu, Nicolas; Jussien, Narendra; Pinson, Éric (Springer Berlin Heidelberg, 2012)