Finding Guaranteed MUSes Fast

H van Maaren, S. Wieringa

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

    32 Citations (Scopus)
    Original languageUndefined/Unknown
    Title of host publicationTheory and Applications of Satisfiability Testing SAT 2008
    EditorsH Kleine Buning, X Zhao
    Place of PublicationBerlin/Heidelberg
    PublisherSpringer
    Pages291-304
    Number of pages14
    ISBN (Print)978-3-540-79718-0
    Publication statusPublished - 2008

    Publication series

    Name
    PublisherSpringer
    NameLecture Notes in Computer Science
    Volume4996
    ISSN (Print)0302-9743

    Keywords

    • CWTS 0.75 <= JFIS < 2.00

    Cite this