Generating Extended Resolution Proofs with a BDD-Based SAT Solver.

Randal E. Bryant, Marijn J. H. Heule

Browse the full TACAS paper archive.