Incorporating Clause Learning in Grid-Based Randomized SAT Solving1
Antti E. J. Hyvärinen, Tommi A. Junttila, Ilkka Niemelä · Journal on Satisfiability Boolean Modeling and Computation · 2009
Computational Grids provide a widely distributed computing environment suitable for randomized SAT solving. This paper develops techniques for incorporating clause learning, known to yield significant speed-ups in the sequential case, in such a distr