Parallel MUS Extraction.

Anton Belov, Norbert Manthey, Joo Marques-Silva

Browse the full SAT paper archive.