Designing Scalable Parallel SAT Solvers

Antti E.J. Hyvärinen, Norbert Manthey

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

    12 Citations (Scopus)
    Original languageEnglish
    Title of host publicationSAT 15th International Conference on Theory and Applications of Satisfiability Testing (SAT 2012) SAT, Trento, Italy, June 17-20, 2012
    Pages214-227
    Publication statusPublished - 2012
    MoE publication typeA4 Article in a conference publication

    Publication series

    Name
    PublisherSpringer
    ISSN (Print)0302-9743

    Cite this

    Hyvärinen, A. E. J., & Manthey, N. (2012). Designing Scalable Parallel SAT Solvers. In SAT 15th International Conference on Theory and Applications of Satisfiability Testing (SAT 2012) SAT, Trento, Italy, June 17-20, 2012 (pp. 214-227)