Sciweavers

Share
AIMSA
2008
Springer

Incorporating Learning in Grid-Based Randomized SAT Solving

8 years 10 months ago
Incorporating Learning in Grid-Based Randomized SAT Solving
Abstract. Computational Grids provide a widely distributed computing environment suitable for randomized SAT solving. This paper develops techniques for incorporating learning, known to yield significant speed-ups in the sequential case, in such a distributed framework. The approach exploits existing state-ofthe-art clause learning SAT solvers by embedding them with virtually no modifications. We show that for many industrial SAT instances, the expected run time can be decreased by carefully combining the learned clauses from the distributed solvers. We compare different parallel learning strategies by using a representative set of benchmarks, and exploit the results to devise an algorithm for learningenhanced randomized SAT solving in Grid environments. Finally, we experiment with an implementation of the algorithm in a production level Grid and solve several problems which were not solved in the SAT 2007 solver competition.
Antti Eero Johannes Hyvärinen, Tommi A. Juntt
Added 01 Jun 2010
Updated 01 Jun 2010
Type Conference
Year 2008
Where AIMSA
Authors Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä
Comments (0)
books