%0 Conference Paper %1 journals/corr/abs-2310-00995 %A Nalbach, Jasper %A Promies, Valentin %A Ábrahám, Erika %A Kobialka, Paul %B GandALF %D 2023 %E Achilleos, Antonis %E Monica, Dario Della %K dblp %P 16-32 %T FMplex: A Novel Method for Solving Linear Real Arithmetic Problems. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs390.html#abs-2310-00995 %V 390

@inproceedings{journals/corr/abs-2310-00995, 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/2b6398b58bdfe60c4df87486cbf28afd6/dblp}, booktitle = {GandALF}, crossref = {journals/corr/abs-2309-17318}, editor = {Achilleos, Antonis and Monica, Dario Della}, ee = {https://doi.org/10.48550/arXiv.2310.00995}, interhash = {990f0ff3c14025dea63166f909fed54d}, intrahash = {b6398b58bdfe60c4df87486cbf28afd6}, keywords = {dblp}, pages = {16-32}, series = {EPTCS}, timestamp = {2024-04-09T09:29:47.000+0200}, title = {FMplex: A Novel Method for Solving Linear Real Arithmetic Problems.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs390.html#abs-2310-00995}, volume = 390, year = 2023 }