Global Optimization and Constraint Satisfaction
From MaRDI portal
Publication:5897038
DOI10.1007/b94062zbMath1255.90096OpenAlexW2624301280MaRDI QIDQ5897038
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
interval analysisautomatic differentiationconstraint propagation\texttt{GlobSol}verified global optimization
Nonconvex programming, global optimization (90C26) Software, source code, etc. for problems pertaining to operations research and mathematical programming (90-04)
Related Items
An algorithm for constrained global optimization of multivariate polynomials using the Bernstein form and John optimality conditions, GlobSol, Validated constraints solving --- practicalities, pitfalls, and new developments, Interval methods and contractor-based branch-and-bound procedures for verified parameter identification of quasi-linear cooperative system models
Uses Software