LPAR
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. In this paper we study the problem of solving hard propositional satisfiability problem (SAT) instances in a computing grid or cloud, where run times and communication b...
EUROPAR
2007
Springer
13 years 10 months ago
2007
Springer
The grid environment presents numerous opportunities for business applications as well as for scientific ones. Nevertheless the current trends seem to lead to several independent ...