9th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'12) (Nicolas Beldiceanu and Narendra Jussien and Éric Pinson), pages 339-355, 2012, Springer.