MUS Extraction Using Clausal Proofs.

Anton Belov, Marijn Heule, Joo Marques-Silva

Browse the full SAT paper archive.