Integration of AI and OR Techniques in Constraint Programming 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings - Michel, Laurent (Springer International Publishing : Imprint: Springer, 2015)