Keyword:clausal proofs

Papers
Combining CDCL, Gauss-Jordan Elimination, and Proof Generation Mate Soos and Randal Bryant EasyChair Preprint no. 8497
TBUDDY: a Proof-Generating BDD Package Randal Bryant EasyChair Preprint no. 8471