A Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems.

Yuri Malitsky, Barry O'Sullivan, Alessandro Previti, Joo Marques-Silva

Browse the full CPAIOR paper archive.