Interpolation and SAT-Based Model Checking.

Kenneth L. McMillan

Browse the full CAV paper archive.