ICOS

swMATH4007MaRDI QIDQ16197

No author found.

Described by source

• ICOS: a branch and bound based solver for rigorous global optimization

Related Items (15)

Interval branch-and-bound algorithms for optimization and constraint satisfaction: a survey and prospects ⋮ Constraint propagation on quadratic constraints ⋮ Domain reduction techniques for global NLP and MINLP optimization ⋮ Rigorous filtering using linear relaxations ⋮ Solving kinematics problems by efficient interval partitioning ⋮ Efficient interval partitioning-local search collaboration for constraint satisfaction ⋮ Global optimization ⋮ \textsc{AbsTaylor}: upper bounding with inner regions in nonlinear continuous global optimization problems ⋮ A comparison of complete global optimization solvers ⋮ \texttt{lsmear}: a variable selection strategy for interval branch and bound solvers ⋮ Rigorous Error Bounds for the Optimal Value in Semidefinite Programming ⋮ Exploiting Binary Floating-Point Representations for Constraint Propagation ⋮ Adaptive parameterized improving hit-and-run for global optimization ⋮ Enhancing numerical constraint propagation using multiple inclusion representations ⋮ Interval propagation and search on directed acyclic graphs for numerical constraint solving

This page was built for software: ICOS