Integration of AI and OR techniques in constraint programming 14th international conference, CPAIOR 2017, Padua, Italy, June 5-8, 2017 : proceedings - Salvagnin, Domenico (Springer, 2017)