A Distribution Method for Solving SAT in Grids.

Antti Eero Johannes Hyvrinen, Tommi A. Junttila, Ilkka Niemel

Browse the full SAT paper archive.