SATU: A System for Distributed Propositional Satisfiability Checking in Computational Grids

Reference:

Antti E. J. Hyvärinen. SATU: A system for distributed propositional satisfiability checking in computational grids. Research Report A100, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, February 2006.

Suggested BibTeX entry:

@techreport{HUT-TCS-A100,
    address = {Espoo, Finland},
    author = {Antti E. J. Hyv{\"a}rinen},
    institution = {Helsinki University of Technology, Laboratory for Theoretical Computer Science},
    month = {February},
    number = {A100},
    pages = {72},
    title = {{SATU}: A System for Distributed Propositional Satisfiability Checking in Computational Grids},
    type = {Research Report},
    year = {2006},
}