Integration of AI and OR Techniques in Constraint Programming 14th International Conference, CPAIOR 2017, Padua, Italy, June 5-8, 2017, Proceedings - Salvagnin, Domenico; Lombardi, Michele (Springer International Publishing : Imprint: Springer, 2017)