J Nalbach,
E Ábrahám, P Specht, CW Brown… - Journal of Symbolic …, 2024 - Elsevier
Satisfiability modulo theories (SMT) solvers check the satisfiability of quantifier-free first-
order logic formulae over different theories. We consider the theory of non-linear real …