Please use this identifier to cite or link to this item: https://hdl.handle.net/10419/323335 
Year of Publication: 
2025
Citation: 
[Journal:] Computational Optimization and Applications [ISSN:] 1573-2894 [Volume:] 90 [Issue:] 3 [Publisher:] Springer US [Place:] New York [Year:] 2025 [Pages:] 691-720
Publisher: 
Springer US, New York
Abstract: 
Abstract Spatial branch-and-bound algorithms for global minimization of non-convex problems require both lower and upper bounding procedures that finally converge to a globally optimal value in order to ensure termination of these methods. Whereas convergence of lower bounds is commonly guaranteed for standard approaches in the literature, this does not always hold for upper bounds. For this reason, different so-called convergent upper bounding procedures are proposed. These methods are not always used in practice, possibly due to their additional complexity or possibly due to increasing runtimes on average problems. For that reason, in this article we propose a refinement of classical branch-and-bound methods that is simple to implement and comes with marginal overhead. We prove that this small improvement already leads to convergent upper bounds, and thus show that termination of spatial branch-and-bound methods is ensured under mild assumptions.
Subjects: 
global optimization
branch-and-bound
upper bounding procedure
feasible points
feasibility verification
restriction of the right-hand side
Persistent Identifier of the first edition: 
Creative Commons License: 
cc-by Logo
Document Type: 
Article
Document Version: 
Published Version
Appears in Collections:

Files in This Item:
File
Size





Items in EconStor are protected by copyright, with all rights reserved, unless otherwise indicated.