Lemmas on Demand for Satisfiability Solvers (2002)

by Leonardo De Moura , Harald Rueß
Citations:35 - 3 self