Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test.

Alessandro Cimatti, Alberto Griggio, Enrico Lipparini, Roberto Sebastiani

Browse the full ATVA paper archive.