Stav dette: 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, Narendra Jussien, Éric Pinson (eds.).