Finding all minimal unsatisfiable subsets.

Maria J. Garca de la Banda, Peter J. Stuckey, Jeremy Wazny

Browse the full PPDP paper archive.