Understanding, improving and parallelizing MUS finding using model rotation

Reference:

Siert Wieringa. Understanding, improving and parallelizing MUS finding using model rotation. In Principles and Practice of Constraint Programming (CP), Lecture Notes in Computer Science, pages 672–687, 2012.

Suggested BibTeX entry:

@inproceedings{CP2012,
    author = {Siert Wieringa},
    booktitle = {Principles and Practice of Constraint Programming (CP)},
    language = {eng},
    pages = {672-687},
    series = {Lecture Notes in Computer Science},
    title = {Understanding, improving and parallelizing {MUS} finding using model rotation},
    year = {2012},
}