Explanations of Unsatisfiability Beyond Minimal Subsets.

Pablo Martnez-Naredo, Ral Menca, Joo Marques-Silva, Carlos Menca

Browse the full JELIA paper archive.