Login / Signup
Counterexample Guided Inductive Optimization.
Rodrigo F. Araujo
Higo F. Albuquerque
Iury Valente de Bessa
Lucas C. Cordeiro
João Edgar Chaves Filho
Published in:
CoRR (2017)
Keyphrases
</>
machine learning
optimization algorithm
website
global optimization
optimization process
model checking
inductive learning
database systems
optimization problems
constrained optimization
data structure
particle swarm optimization