FMplex: A Novel Method for Solving Linear Real Arithmetic Problems

Nalbach, Jasper Kurt Ferdinand (Corresponding author); Promies, Valentin Maxim (Corresponding author); Ábrahám, Erika (Corresponding author); Kobialka, Paul (Corresponding author)

(2023)
Preprint

Institutions

  • Department of Computer Science [120000]
  • Theory of Hybrid Systems Research Group [123420]