Pages that link to "Item:Q2018466"
From MaRDI portal
The following pages link to Rigorous verification of feasibility (Q2018466):
Displayed 3 items.
- Some observations on exclusion regions in branch and bound algorithms (Q2349518) (← links)
- Deterministic upper bounds for spatial branch-and-bound methods in global minimization with nonconvex constraints (Q2355020) (← links)
- Constraint aggregation for rigorous global optimization (Q5962722) (← links)