Extended Resolution Proofs for Conjoining BDDs (2006)

by Carsten Sinz, Armin Biere
Venue:of Lecture Notes in Computer Science