Extended resolution proofs for symbolic SAT solving with quantification (2006)

Cached

Download Links

by Toni Jussila , Carsten Sinz , Armin Biere
Venue:In: Proc. of SAT. LNCS 4121
Citations:14 - 4 self