Integration of AI and OR techniques in constraint programming: 14th international conference, CPAIOR 2017, Padua, Italy, June 5-8, 2017: proceedings 2017 · ENGLISH · PDF View details →