Partitioning SAT Instances for Distributed Solving.

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

Browse the full LPAR paper archive.