Dynamic Symmetry Breaking by Simulating Zykov Contraction

B Schaafsma, MJH Heule, H van Maaren

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

    21 Citations (Scopus)
    Original languageUndefined/Unknown
    Title of host publicationTheory and Applications of Satisfiability Testing -- SAT 2009
    EditorsO Kullmann
    Place of PublicationBerlin
    PublisherSpringer
    Pages223-236
    Number of pages14
    ISBN (Print)978-3-642-02776-5
    Publication statusPublished - 2009
    EventSAT 2009 - Berlin
    Duration: 30 Jun 20093 Jul 2009

    Publication series

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

    Conference

    ConferenceSAT 2009
    Period30/06/093/07/09

    Keywords

    • CWTS JFIS < 0.75

    Cite this