Lemmas on Demand for Satisfiability Solvers (2002)

by Leonardo De Moura , Harald Rueß
Citations:40 - 5 self