A New Approach to Partial MUS Enumeration.

Christian Zielke, Michael Kaufmann

Browse the full SAT paper archive.