Global Optimization and Constraint Satisfaction
From MaRDI portal
Publication:5897038
DOI10.1007/b94062zbMath1255.90096MaRDI 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 analysis; automatic differentiation; constraint propagation; \texttt{GlobSol}; verified global optimization
90C26: Nonconvex programming, global optimization
90-04: Software, source code, etc. for problems pertaining to operations research and mathematical programming
Related Items
GlobSol, An algorithm for constrained global optimization of multivariate polynomials using the Bernstein form and John optimality conditions, 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
Uses Software