Dual Proof Generation for Quantified Boolean Formulas with a BDD-based Solver.

Randal E. Bryant, Marijn J. H. Heule

Browse the full CADE paper archive.