Grid-Based SAT Solving with Iterative Partitioning and Clause Learning

Antti E.J. Hyvärinen, Tommi Junttila, Ilkka Niemelä

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

    21 Citations (Scopus)
    Original languageEnglish
    Title of host publication17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011
    Pages385-399
    ISBN (Electronic)978-3-642-23786-7
    DOIs
    Publication statusPublished - 2011
    MoE publication typeA4 Article in a conference publication

    Publication series

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

    Cite this