"A Distribution Method for Solving SAT in Grids."

Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics