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...
| Hoofdauteurs: | , , , |
|---|---|
| Formaat: | Record |
| Gepubliceerd in: |
2008
|