Solving LIA^ using approximations

DOI10.1007/978-3-030-39322-9_17OpenAlexW2999746846MaRDI QIDQ784151FDOQ784151

Maxwell Levatich, Sharon Shoham, Ružica Piskač, Nikolaj Bjørner

Publication date: 5 August 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-39322-9_17

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (2)

• Succinct ordering and aggregation constraints in algebraic array theories
• Efficient automated reasoning about sets and multisets with cardinality constraints

This page was built for publication: Solving \(\mathrm{LIA}^\star\) using approximations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q784151)