A Theory of Satisfiability-Preserving Proofs in SAT Solving.

Adrin Rebola-Pardo, Martin Suda

Browse the full LPAR paper archive.