Sound mixed-precision optimization with rewriting.
Eva DarulovaEinar HornSaksham SharmaPublished in: ICCPS (2018)
Keyphrases
- optimization algorithm
- optimization problems
- search algorithm
- discrete optimization
- constrained optimization
- optimization process
- optimization methods
- query optimization
- special case
- neural network
- high precision
- optimization method
- combinatorial optimization
- precision and recall
- particle swarm optimization
- multi objective
- average precision
- evolution strategy