A System for Distributed Propositional Satisfiability Checking in Computational Grids

Antti E.J. Hyvärinen

    Research output: Working paperProfessional

    Original languageEnglish
    Place of PublicationHelsinki
    Publication statusPublished - 2006
    MoE publication typeD4 Published development or research report or study

    Publication series

    NameHelsinki University of Technology Laboratory for Theoretical Computer Science Research Reports
    PublisherHelsinki University of Technology, Laboratory for Theoretical Computer Science
    No.HUT-TCS-A100
    ISSN (Print)1475-7615

    Keywords

    • Computational Grid
    • Parallel Search Algorithms
    • Parallelization on DPLL produce
    • Propositional Satisfiability

    Cite this

    Hyvärinen, A. E. J. (2006). A System for Distributed Propositional Satisfiability Checking in Computational Grids. (Helsinki University of Technology Laboratory for Theoretical Computer Science Research Reports; No. HUT-TCS-A100).