Interpolation and sat-based model checking (2003)

by Kenneth L McMillan
Venue:of Lecture Notes in Computer Science