SMT-RAT: An SMT-Compliant Nonlinear Real Arithmetic Toolbox - (Tool Presentation).
['Florian Corzilius', 'Ulrich Loup', 'Sebastian Junges', 'Erika Ábrahám']
SMT-RAT: An SMT-Compliant Nonlinear Real Arithmetic Toolbox - (Tool Presentation).