Integration of AI and OR Techniques in Constraint Programming 13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29 - June 1, 2016, Proceedings - Quimper, Claude-Guy (Springer International Publishing : Imprint: Springer, 2016)