Translating Pseudo-Boolean Proofs into Boolean Clausal Proofs.

Karthik V. Nukala, Soumyaditya Choudhuri, Randal E. Bryant, Marijn J. H. Heule

Browse the full FMCAD paper archive.