A Methodology of Parallelization for Continuous Verified Global Optimization.
Nathalie Revol, Yves Denneulin, Jean-Franois Mhaut, Benot Planquelle
Browse the full PPAM paper archive.
Nathalie Revol, Yves Denneulin, Jean-Franois Mhaut, Benot Planquelle
Browse the full PPAM paper archive.