Strategies for Solving SAT in Grids by Randomized Search.

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

Browse the full AISC paper archive.