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.