@inproceedings{
    CP2012,
    author = "Wieringa, Siert",
    responsibleauthor = "Wieringa, Siert",
    isbn = "978-3-642-33557-0",
    language = "eng",
    title = "Understanding, improving and parallelizing {MUS} finding using model rotation",
    series = "Lecture Notes in Computer Science",
    booktitle = "Principles and Practice of Constraint Programming (CP)",
    issn = "0302-9743",
    corerank = "A",
    country = "Germany",
    volume = "7514",
    pages = "672-687",
    flags = "DC",
    il = "no",
    eventdetails = "October 8-12, Quebec City, Canada",
    year = "2012",
    unitcode = "T306-100",
    kay = "NA",
    impactfactor = "A4",
    juforank = "1"
}