Interpolating Quantifier-Free Presburger Arithmetic
From MaRDI portal
Publication:4933327
DOI10.1007/978-3-642-16242-8_35zbMath1306.68148OpenAlexW1541391869MaRDI QIDQ4933327
Daniel Kroening, Philipp Rümmer, Jérôme Leroux
Publication date: 12 October 2010
Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-16242-8_35
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (5)
SAT-Based Model Checking ⋮ Interpolation and Model Checking ⋮ An interpolating sequent calculus for quantifier-free Presburger arithmetic ⋮ Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic ⋮ Articulations and Products of Transition Systems and their Applications to Petri Net Synthesis
Uses Software
This page was built for publication: Interpolating Quantifier-Free Presburger Arithmetic