Lazy Satisfiability Modulo Theories (2007)

by R Sebastiani
Venue:Journal on Satisfiability, Boolean Modeling and Computation