Timeout-Sensitive Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems.

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

Browse the full ECAI paper archive.