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