c-sat: A Parallel SAT Solver for Clusters.

Kei Ohmura, Kazunori Ueda

Browse the full SAT paper archive.