Scalable SAT Solving in the Cloud

Dominik Schreiber, Peter Sanders

Previous efforts on making Satisfiability (SAT) solving fit for high performance computing (HPC) have lead to super-linear speedups on particular formulae, but for most inputs cann…