TY  - RPRT
TI  - FMplex: A Novel Method for Solving Linear Real Arithmetic Problems
AU  - Jasper Nalbach
AU  - Valentin Promies
AU  - Erika Ábrahám
AU  - Paul Kobialka
PY  - 2023
DO  - 10.4204/eptcs.390.2
UR  - https://arxiv.org/abs/2310.00995
ID  - 2310.00995
ER  -