Lemmas on Demand for Satisfiability Solvers (2002)

by Leonardo De Moura , Harald Rueß
Citations:36 - 4 self