Interpolants in nonlinear theories over the reals
From MaRDI portal
Publication:2272929
DOI10.1007/978-3-662-49674-9_41zbMath1420.68187OpenAlexW2475413394MaRDI QIDQ2272929
Publication date: 17 September 2019
Full work available at URL: https://doi.org/10.1007/978-3-662-49674-9_41
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (3)
Interpolation and model checking for nonlinear arithmetic ⋮ Sharper and Simpler Nonlinear Interpolants for Program Verification ⋮ NIL: learning nonlinear interpolants
This page was built for publication: Interpolants in nonlinear theories over the reals
