Lemmas on demand for satisfiability solvers (1962)

by L de Moura, H Rueß
Venue:Comm. of the ACM