The emerging large-scale computational grid infrastructure is providing an interesting platform for massive distributed computations. In this paper a novel distribution method called scattering is introduced for solving SAT problem instances in grid environments. The key advantages of scattering are that it can be used in conjunction with any sequential SAT solver (including industrial black box solvers), the distribution heuristic is strictly separated from the heuristic used in sequential solving, and it requires no communication between processes solving subproblems but still allows coordination of such processes. An implementation of the method has been developed for NorduGrid, a large widely distributed production-level grid running in Scandinavia. © Springer-Verlag Berlin Heidelberg 2006.
CITATION STYLE
Hyvärinen, A. E. J., Junttila, T., & Niemelä, I. (2006). A distribution method for solving SAT in grids. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4121 LNCS, pp. 430–435). Springer Verlag. https://doi.org/10.1007/11814948_39
Mendeley helps you to discover research relevant for your work.