Login / Signup
Satisfiability Modulo Transcendental Functions via Incremental Linearization.
Alessandro Cimatti
Alberto Griggio
Ahmed Irfan
Marco Roveri
Roberto Sebastiani
Published in:
CoRR (2018)
Keyphrases
</>
computational complexity
np complete
phase transition
incremental clustering
data sets
neural network
artificial intelligence
evolutionary algorithm
databases
real world
data mining
knowledge representation