A Distribution Method for Solving SAT in Grids

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

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

    25 Citations (Scopus)
    Original languageEnglish
    Title of host publicationTheory and Applications of Satisfiability Testing - SAT 2006
    Subtitle of host publication9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings
    EditorsArmin Biere, Carla P. Gomes
    Pages430-435
    ISBN (Electronic)978-3-540-37207-3
    DOIs
    Publication statusPublished - 2006
    MoE publication typeA4 Article in a conference publication
    EventInternational Conference on Theory and Applications of Satisfiability Testing - Helsinki, Finland
    Duration: 8 Jul 201312 Jul 2013
    Conference number: 16

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer Berlin Heidelberg
    Volume4121
    ISSN (Print)0302-9743

    Conference

    ConferenceInternational Conference on Theory and Applications of Satisfiability Testing
    Abbreviated titleSAT
    CountryFinland
    CityHelsinki
    Period08/07/201312/07/2013

    Keywords

    • Computational Grid
    • Parallel Search Algorithms
    • Parallelization of DPLL procedure
    • SAT

    Cite this