Verified reductions for optimization.

Alexander Bentkamp Ramon Fernández Mir Jeremy Avigad

Published in: CoRR (2023)

Keyphrases

optimization algorithm
global optimization
optimization method
optimization process
optimization problems
optimization methods
database
least squares
efficient computation
real world
machine learning
information systems
data structure
combinatorial optimization
mathematical programming
optimization procedure