"Speeding up MUS Extraction with Preprocessing and Chunking."

Valeriy Balabanov, Alexander Ivrii (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics