Effectively Propositional Interpolants
No abstract available.
Related papers
- Propositional Interpolation and Abstract Interpretation ESOP 2010
- Generating Non-linear Interpolants by Semidefinite Programming CAV 2013
- Bit-Precise Interpolation in Bitwuzla TACAS 2026
- Interpolation-Based Semantic Gate Extraction and Its Applications to QBF Preprocessing CAV 2020
- Effectively-Propositional Reasoning about Reachability in Linked Data Structures CAV 2013
- Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic VMCAI 2011
- Sharper and Simpler Nonlinear Interpolants for Program Verification APLAS 2017
- Interpolating Strong Induction CAV 2019