Validating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers.

Marijn Heule, Norbert Manthey, Tobias Philipp

Browse the full SAT paper archive.