Tuning Parallel SAT Solvers.

Thorsten Ehlers, Dirk Nowotka

Browse the full SAT paper archive.