Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems : 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings - Carla Gomes, Meinolf Sellmann ((Lecture Notes in Computer Science))