Pages that link to "Item:Q3396393"
From MaRDI portal
The following pages link to ICOS: a branch and bound based solver for rigorous global optimization (Q3396393):
Displaying 8 items.
- ICOS (Q16197) (← links)
- Interval branch-and-bound algorithms for optimization and constraint satisfaction: a survey and prospects (Q312490) (← links)
- \texttt{lsmear}: a variable selection strategy for interval branch and bound solvers (Q721162) (← links)
- Domain reduction techniques for global NLP and MINLP optimization (Q1699520) (← links)
- \textsc{AbsTaylor}: upper bounding with inner regions in nonlinear continuous global optimization problems (Q2022241) (← links)
- Exploiting Binary Floating-Point Representations for Constraint Propagation (Q2806863) (← links)
- Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions (Q5206960) (← links)
- Global optimization (Q5896995) (← links)
