Conflict-Driven XOR-Clause Learning

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

    8 Citations (Scopus)
    Original languageEnglish
    Title of host publicationFifteenth International Conference on Theory and Applications of Satisfiability Testing (SAT 2012), Trento, Italy, June 17-20, 2012
    EditorsAlessandro Cimatti, Roberto Sebastiani
    Pages383-396
    DOIs
    Publication statusPublished - 2012
    MoE publication typeA4 Article in a conference publication

    Publication series

    Name Lecture Notes in Computer Science
    PublisherSpringer
    Volume7317
    ISSN (Print)0302-9743

    Cite this