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 2008, 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings, 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 2008, 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings},
    editor = {Hans {Kleine B{\"u}ning} and Xishun Zhao},
    pages = {291-304},
    series = {Lecture Notes in Computer Science},
    title = {Finding Guaranteed {MUS}es Fast},
    volume = {4996},
    year = {2008},
}