Cooperating Techniques for Solving Nonlinear Real Arithmetic in the cvc5 SMT Solver (System Description).

Gereon Kremer, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli

Browse the full CADE paper archive.