Understanding, improving and parallelizing MUS finding using model rotation

Siert Wieringa

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    17 Citations (Scopus)
    Original languageEnglish
    Title of host publication18th International Conference on Principles and Practice of Constraint Programming, Quebec City, Canada, October 8-12, 2012
    Pages672-687
    Publication statusPublished - 2012
    MoE publication typeA4 Article in a conference publication

    Cite this