Interpolation and SAT-Based Model Checking (0)

by K L McMillan
Venue:in Proc. of CAV, 2003