Restructuring Resolution Refutations for Interpolation
Interpolants are the cornerstone of several approximate verification techniques. Current interpolation techniques restrict the search heuristics of the underlying decision procedure to compute interpolants, incurring a negative impact on performance, and apply primarily to the lazy proof explication...
| Main Authors: | , , , |
|---|---|
| Format: | Record |
| Published: |
2008
|