Global Optimization and Constraint Satisfaction

DOI10.1007/B94062MaRDI QIDQ5897038zbMATHOpenAlexFDO

Authors Ralph Baker Kearfott

Publication date 2 February 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b94062

zbMATH Keywords

interval analysisconstraint propagationautomatic differentiationverified global optimization\texttt{GlobSol}

Mathematics Subject Classification ID

Nonconvex programming, global optimization (90C26) Software, source code, etc. for problems pertaining to operations research and mathematical programming (90-04)

Recommendations

• GlobSol user guide
• On globs
• A Global Optimization Strategy and Its Use in Solvent Design
• GLOB -- a new VNS-based software for global optimization
• Global constraint catalogue: past, present and future
• Global gluing and \(G\)-flux

Cited in

(8)

• Validated constraints solving --- practicalities, pitfalls, and new developments
• ICOS: a branch and bound based solver for rigorous global optimization
• INTLAB implementation of an interval global optimization algorithm
• GlobSol user guide
• An algorithm for constrained global optimization of multivariate polynomials using the Bernstein form and John optimality conditions
• Global optimization based on contractor programming: an overview of the IBEX library
• GlobSol
• Interval methods and contractor-based branch-and-bound procedures for verified parameter identification of quasi-linear cooperative system models

Describes a project that uses

Uses Software

• INTERVAL_ARITHMETIC
• INTOPT_90

This page was built for publication: Global Optimization and Constraint Satisfaction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5897038)