Login / Signup
Lemmas for Satisfiability Modulo Transcendental Functions via Incremental Linearization.
Ahmed Irfan
Alessandro Cimatti
Alberto Griggio
Marco Roveri
Roberto Sebastiani
Published in:
SC-square@SIAM AG (2019)
Keyphrases
</>
mixed integer
lot sizing
optimal solution
np complete
computational complexity
data driven
incremental learning
satisfiability problem
theorem proving
neural network
data mining
machine learning
case study
basis functions
stochastic local search
incremental clustering