Verified Optimization (work in progress).

Alexander Bentkamp Jeremy Avigad

Published in: CICM Workshops (2021)

Keyphrases

optimization algorithm
optimization method
global optimization
optimization scheme
joint optimization
medical images
optimization problems
optimization methods
optimization process
quadratic programming
real world
information systems
simulated annealing
optimization model
discrete optimization