Clausal Proofs for Pseudo-Boolean Reasoning.

Randal E. Bryant, Armin Biere, Marijn J. H. Heule

Browse the full TACAS paper archive.