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