ICOS

swMATH4007MaRDI QIDQ16197FDOQ16197

Author name not available (Why is that?)

Described by source

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

Cited In (15)

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

This page was built for software: ICOS