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 (Springer, 2012)