Improving Interpolants for Linear Arithmetic

DOI10.1007/978-3-319-24953-7_5zbMath1471.68233OpenAlexW2296357517MaRDI QIDQ3460545

Ernst Althaus, Christoph Scholl, Björn Beber, Joschka Kupilas

Publication date: 8 January 2016

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-24953-7_5

zbMATH Keywords

linear programminglinear arithmeticCraig interpolationsatisfiability modulo theory

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Interpolation, preservation, definability (03C40)

Related Items (2)

Separators in Continuous Petri Nets ⋮ Separators in continuous Petri nets

This page was built for publication: Improving Interpolants for Linear Arithmetic