Lemmas on demand for satisfiability solvers (2002)

by L de Moura, H Rueß
Venue:In Proceedings of the International Conference on Theory and Applications of Satisfiability Testing (Cincinnati