Finding Guaranteed MUSes Fast

Reference:

Hans van Maaren and Siert Wieringa. Finding guaranteed MUSes fast. In Hans Kleine Büning and Xishun Zhao, editors, Theory and Applications of Satisfiability Testing (SAT), volume 4996 of Lecture Notes in Computer Science, pages 291–304, 2008.

Suggested BibTeX entry:

@inproceedings{DBLP:confsatMaarenW08,
    author = {Hans van Maaren and Siert Wieringa},
    booktitle = {Theory and Applications of Satisfiability Testing (SAT)},
    editor = {Hans {Kleine B{\"u}ning} and Xishun Zhao},
    language = {eng},
    pages = {291-304},
    series = {Lecture Notes in Computer Science},
    title = {Finding Guaranteed {MUS}es Fast},
    volume = {4996},
    year = {2008},
}