Solving \(\mathrm{LIA}^\star\) using approximations

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

Maxwell Levatich, Sharon Shoham, Ruzica Piskac, 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)

Related Items (1)

Efficient automated reasoning about sets and multisets with cardinality constraints

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