Factoring Out Assumptions to Speed Up MUS Extraction.

Jean-Marie Lagniez, Armin Biere

Browse the full SAT paper archive.