Verified reductions for optimization.
Alexander BentkampRamon Fernández MirJeremy AvigadPublished in: TACAS (2) (2023)
Keyphrases
- optimization problems
- optimization algorithm
- optimization method
- efficient computation
- joint optimization
- neural network
- learning algorithm
- global optimization
- discrete optimization
- data sets
- evolution strategy
- constrained optimization
- optimization process
- combinatorial optimization
- information technology
- data structure
- optimal solution
- database systems
- feature selection
- search engine
- databases