@inproceedings{0fff4914eee24ef5b766cf7b4f69d1a9,
title = "Solving Quantitative Equations",
author = "Georg Ehling and Teimuraz Kutsia",
year = "2024",
language = "English",
isbn = "978-3-031-63500-7",
volume = "14740",
series = "Lecture Notes in Artificial Intelligence",
publisher = "Springer",
pages = "381--400",
editor = "{Christian Benzm{\"u}ller, Marijn J. H. Heule, Renate A. Schmidt}",
booktitle = "Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings",
}