Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations
Abstract elided by the publisher.
Related papers
- A Quantifier Elimination Algorithm for Linear Modular Equations and Disequations CAV 2011
- Cache miss equations: a compiler framework for analyzing and tuning memory behavior TOPLAS 1999
- Decomposing Farkas Interpolants TACAS 2019
- Hydra: Automatic algorithm exploration from linear algebra equations CGO 2013
- Nonlinear Craig Interpolant Generation CAV 2020
- Proof Tree Preserving Interpolation TACAS 2013
- Points-to Analysis as a System of Linear Equations SAS 2010
- An Order Theory Framework of Recurrence Equations for Static Cost Analysis - Dynamic Inference of Non-Linear Inequality Invariants SAS 2024