SAT-based compositional verification using lazy learning (2007)

by N Sinha, Clarke EM
Venue:In: Proceedings of CAV’07. LNCS, vol 4590