Lemmas on demand for satisfiability solvers. In: (2002)

by L de Moura, H Rueß
Venue:Proceedings of the Fifth International Symposium on the Theory and Applications of Satisfiability Testing (SAT’02),