@techreport{b0bb4db4799548839a3640288b4904f6,
title = "A System for Distributed Propositional Satisfiability Checking in Computational Grids",
keywords = "Computational Grid, Parallel Search Algorithms, Parallelization on DPLL produce, Propositional Satisfiability, Computational Grid, Parallel Search Algorithms, Parallelization on DPLL produce, Propositional Satisfiability, Computational Grid, Parallel Search Algorithms, Parallelization on DPLL produce, Propositional Satisfiability",
author = "Hyv{\"a}rinen, {Antti E.J.}",
year = "2006",
language = "English",
isbn = "951-22-2068-X",
series = "Helsinki University of Technology Laboratory for Theoretical Computer Science Research Reports",
publisher = "Helsinki University of Technology, Laboratory for Theoretical Computer Science",
number = "HUT-TCS-A100",
type = "WorkingPaper",
institution = "Helsinki University of Technology, Laboratory for Theoretical Computer Science",
}