%0 Journal Article %1 journals/corr/abs-2309-03138 %A Nalbach, Jasper %A Promies, Valentin %A Ábrahám, Erika %A Kobialka, Paul %D 2023 %J CoRR %K dblp %T FMplex: A Novel Method for Solving Linear Real Arithmetic Problems (Extended Version). %U http://dblp.uni-trier.de/db/journals/corr/corr2309.html#abs-2309-03138 %V abs/2309.03138

@article{journals/corr/abs-2309-03138, added-at = {2024-02-05T00:00:00.000+0100}, author = {Nalbach, Jasper and Promies, Valentin and Ábrahám, Erika and Kobialka, Paul}, biburl = {https://www.bibsonomy.org/bibtex/273abe6fa334bb5682605d2f07a34a54d/dblp}, ee = {https://doi.org/10.48550/arXiv.2309.03138}, interhash = {2217e443711929e4697fe578e625491e}, intrahash = {73abe6fa334bb5682605d2f07a34a54d}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T22:56:38.000+0200}, title = {FMplex: A Novel Method for Solving Linear Real Arithmetic Problems (Extended Version).}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2309.html#abs-2309-03138}, volume = {abs/2309.03138}, year = 2023 }