Grid-Based SAT Solving with Iterative Partitioning and Clause Learning.

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

Browse the full CP paper archive.