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 - Nicolas Beldiceanu, editor ([, Springer-Verlag], 2012)