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...
| Prif Awduron: | , , , |
|---|---|
| Fformat: | Record |
| Cyhoeddwyd: |
2008
|