Sign in
Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test.
Alessandro Cimatti
Alberto Griggio
Enrico Lipparini
Roberto Sebastiani
Published in:
ATVA (2022)
Keyphrases
</>
basis functions
low degree
data sets
information retrieval
test data