"MUS Extraction Using Clausal Proofs."

Anton Belov, Marijn Heule, João Marques-Silva (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics