Finding Guaranteed MUSes Fast.

Hans van Maaren, Siert Wieringa

Browse the full SAT paper archive.