Yuri Malitsky, Barry O'Sullivan, Alessandro Previti, Joao Marques-Silva. A Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems. In Helmut Simonis, editor, Integration of AI and OR Techniques in Constraint Programming - 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014. Proceedings. Volume 8451 of Lecture Notes in Computer Science, pages 368-376, Springer, 2014. [doi]
Abstract is missing.