SMT-RAT: An SMT-Compliant Nonlinear Real Arithmetic Toolbox - (Tool Presentation).

Florian Corzilius, Ulrich Loup, Sebastian Junges, Erika brahm

Browse the full SAT paper archive.