Extended resolution proofs for conjoining BDDs (2006)

by C Sinz, A Biere
Venue:In First International Computer Science Symposium in Russia