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

Reference:

Antti Hyvärinen. SATU: A system for distributed propositional satisfiability checking in computational GRIDs. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2005.

Suggested BibTeX entry:

@mastersthesis{HyvarinenMsc,
    author = {Antti Hyv\"arinen},
    school = {Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science},
    title = {{SATU}: A System for Distributed Propositional Satisfiability Checking in Computational {GRID}s},
    year = {2005},
}