research
∙
03/22/2020
Certified Global Minima for a Benchmark of Difficult Optimization Problems
We provide the global optimization community with new optimality proofs ...
research
∙
10/16/2015