Approaches to Grid-Based SAT Solving

Antti E.J. Hyvärinen

    Research output: Working paperProfessional

    Original languageEnglish
    Place of PublicationEspoo
    ISBN (Electronic)978-951-22-9943-0
    Publication statusPublished - 2009
    MoE publication typeD4 Published development or research report or study

    Publication series

    NameTKK Reports in Information and Computer Science
    PublisherTKK ICS
    No.TKK-ICS-R16

    Keywords

    • computational grids
    • distributed search
    • multi-search
    • propositional satisfiability
    • SAT solving

    Cite this