Soundness of Inprocessing in Clause Sharing SAT Solvers.

Norbert Manthey, Tobias Philipp, Christoph Wernhard

Browse the full SAT paper archive.