C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Optimization Modulo Non-linear Arithmetic via Incremental Linearization.
Filippo Bigarella
Alessandro Cimatti
Alberto Griggio
Ahmed Irfan
Martin Jonás
Marco Roveri
Roberto Sebastiani
Patrick Trentin
Published in:
FroCoS (2021)
Keyphrases
</>
optimization algorithm
global optimization
incremental learning
constrained optimization
databases
neural network
optimization methods
optimization process
optimization model
highly non linear
e learning
knowledge base
website
multi objective
optimal design