Scalable SAT Solving in the Cloud.

Dominik Schreiber, Peter Sanders

Browse the full SAT paper archive.