What a Difference a Variable Makes
This page will provide access to proofs and tools presented in our TACAS 2018 paper.
Table 1:
CNF formulas
PR proofs
existing proofs
plain proofs
optimized proofs
Table 2:
CNF formulas
PR proofs
DRAT proofs
CLRAT proofs
Proof checking tools:
PR2DRAT on GitHub.
DRAT-trim on GitHub.