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. (Theoretical Computer Science and General Issues, 2017)