Integration of AI and OR techniques in constraint programming. 12th international conference, CPAIOR 2015, Barcelona, Spain, May 18--22, 2015. Proceedings
scientific article; zbMATH DE number 6473508