General item icon

General item

Restructuring Resolution Refutations for Interpolation

Abstract:

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 framework. We bridge the gap between fast decision procedures that aggressively use propositional reasoning and slower interpolating decision procedures by extending the scope of the latter to non...

Expand abstract

Actions


Authors


Vijay D'Silva More by this author
Daniel Kroening More by this author
Mitra Purandare More by this author
Georg Weissenbacher More by this author
Publication date:
2008-10-01
URN:
uuid:a0f99286-f399-40ca-9b8a-ae68c3b11049
Local pid:
cs:3133

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP