Keyword:clausal proofs

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