Interpolants in Nonlinear Theories Over the Reals
Abstract elided by the publisher.
Related papers
- Interpolation and Model Checking for Nonlinear Arithmetic CAV 2021
- Sharper and Simpler Nonlinear Interpolants for Program Verification APLAS 2017
- Nonlinear Craig Interpolant Generation CAV 2020
- Breaking the Mold: Nonlinear Ranking Function Synthesis Without Templates CAV 2024
- Delta-Decision Procedures for Exists-Forall Problems over the Reals CAV 2018
- Spatial Interpolants ESOP 2015
- Disjunctive Interpolants for Horn-Clause Verification CAV 2013
- Decomposing Farkas Interpolants TACAS 2019