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

by T Jussila, C Sinz, A Biere
Venue:In Proceedings of the Ninth International Conference on Theory and Applications of Satisfiability Testing