collaborators

1 paper

cs.LO2026

MCSAT Modulo Transcendental Arithmetics

Jorge Gallego-Hernández, Enrico Lipparini, Alessio Mansutti

We propose a framework for solving quantifier-free formulas from (undecidable) extensions of non-linear real arithmetic (NRA) with transcendental functions, such as exponential and…