A Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems | Publicación