Lemmas on Demand for Satisfiability Solvers (2002)

by L de Moura, H Ruess
Venue:In SAT