Farkas-Based Tree Interpolation
Abstract elided by the publisher.
Related papers
- Decomposing Farkas Interpolants TACAS 2019
- Proof Tree Preserving Interpolation TACAS 2013
- Non-blocking interpolation search trees with doubly-logarithmic running time PPoPP 2020
- Affine Disjunctive Invariant Generation with Farkas' Lemma VMCAI 2025
- Disjunctive Interpolants for Horn-Clause Verification CAV 2013
- Spatial Interpolants ESOP 2015
- Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints TACAS 2020
- Embedding Hindsight Reasoning in Separation Logic PLDI 2023