research
∙
03/22/2020
Certified Global Minima for a Benchmark of Difficult Optimization Problems
We provide the global optimization community with new optimality proofs ...
share
research
∙
10/16/2015
Hybridization of Interval CP and Evolutionary Algorithms for Optimizing Difficult Problems
The only rigorous approaches for achieving a numerical proof of optimali...
research
∙
02/24/2014
