A Natively Parallel Proof Framework for Clause-Sharing SAT Solving.

Ruben Gtz, Michael Drr, Dominik Schreiber

Browse the full SAT paper archive.