The ksmt calculus is a $\delta$-complete decision procedure for non-linear constraints

Franz Brauße, Konstantin Korovin, Margarita V. Korovina +1

ksmt is a CDCL-style calculus for solving non-linear constraints over real numbers involving polynomials and transcendental functions. In this paper we investigate properties of th…