Kevin Leo, Guido Tack. Debugging Unsatisfiable Constraint Models. In Domenico Salvagnin, Michele Lombardi 0001, editors, Integration of AI and OR Techniques in Constraint Programming - 14th International Conference, CPAIOR 2017, Padua, Italy, June 5-8, 2017, Proceedings. Volume 10335 of Lecture Notes in Computer Science, pages 77-93, Springer, 2017. [doi]
Abstract is missing.