Global Optimization and Constraint Satisfaction

DOI10.1007/B94062MaRDI QIDQ5897038zbMATH OpenOpenAlexFDO

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

\texttt{GlobSol}automatic differentiationconstraint propagationinterval analysisverified global optimization

Mathematics Subject Classification ID

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

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

(10)

• \textit{Helios}: A modeling language for global optimization and its implementation in \textit{Newton}
• GlobSol
• Interval methods and contractor-based branch-and-bound procedures for verified parameter identification of quasi-linear cooperative system models
• Validated constraints solving --- practicalities, pitfalls, and new developments
• Global optimization based on contractor programming: an overview of the IBEX library
• GlobSol user guide
• ICOS: a branch and bound based solver for rigorous global optimization
• INTLAB implementation of an interval global optimization algorithm
• scientific article; zbMATH DE number 1440902 (Why is no real title available?)
• An algorithm for constrained global optimization of multivariate polynomials using the Bernstein form and John optimality conditions

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)