The ksmt Calculus Is a δ-complete Decision Procedure for Non-linear Constraints.

Franz Braue, Konstantin Korovin, Margarita V. Korovina, Norbert Th. Mller

Browse the full CADE paper archive.