×

zbMATH — the first resource for mathematics

GlobSol: history, composition, and advice on use. (English) Zbl 1255.90096
Bliek, Christian (ed.) et al., Global optimization and constraint satisfaction. First international workshop on global constraint optimization and constraint satisfaction, COCOS 2002, Valbonne-Sophia Antipolis, France, October 2–4, 2002. Revised selected papers. Berlin: Springer (ISBN 3-540-20463-6/pbk). Lect. Notes Comput. Sci. 2861, 17-31 (2003).
Summary: The GlobSol software package combines various ideas from interval analysis, automatic differentiation, and constraint propagation to provide verified solutions to unconstrained and constrained global optimization problems. After briefly reviewing some of these techniques and GlobSol’s development history, we provide the first overall description of GlobSol’s algorithm. Giving advice on use, we point out strengths and weaknesses in GlobSol’s approaches. Through examples, we show how to configure and use GlobSol.
For the entire collection see [Zbl 1029.00042].

MSC:
90C26 Nonconvex programming, global optimization
90-04 Software, source code, etc. for problems pertaining to operations research and mathematical programming
PDF BibTeX XML Cite
Full Text: DOI