Pages that link to "Item:Q2018466"

The following pages link to Rigorous verification of feasibility (Q2018466):

Displaying 7 items.

• Linear and parabolic relaxations for quadratic constraints (Q300753) (← links)
• Some feasibility sampling procedures in interval methods for constrained global optimization (Q506473) (← links)
• Convergent upper bounds in global minimization with nonlinear equality constraints (Q2020617) (← links)
• 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)
• A branch and bound algorithm for quantified quadratic programming (Q2397427) (← links)
• Rigorous packing of unit squares into a circle (Q2416578) (← links)