OptCE: A Counterexample-Guided Inductive Optimization Solver.
Higo F. AlbuquerqueRodrigo F. AraujoIury Valente de BessaLucas C. CordeiroEddie Batista de Lima FilhoPublished in: SBMF (2017)
Keyphrases
- optimization problems
- machine learning
- discrete optimization
- optimization model
- optimization algorithm
- optimization methods
- data sets
- global optimization
- combinatorial optimization
- optimization method
- real time
- inductive logic programming
- constrained optimization
- inductive inference
- neural network
- formal verification
- inductive reasoning