FMplex: A Novel Method for Solving Linear Real Arithmetic Problems

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

Open Publishing Association (2023)
Contribution to a book, Contribution to a conference proceedings

In: Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification Udine, Italy, 18-20th September 2023

Institutions

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