Polynomial Constraints and Unsat Cores in Tarski. - Fernando Vale-Enriquez; Christopher W. Brown 001 (ICMS, 2018)

From simplification to a partial theory solver for non-linear real polynomial constraints. - Christopher W. Brown 001; Fernando Vale-Enriquez (J. Symb. Comput., 2020)