Pages that link to "Item:Q1774519"
From MaRDI portal
The following pages link to A rigorous global filtering algorithm for quadratic constraints (Q1774519):
Displayed 5 items.
- Rigorous filtering using linear relaxations (Q453629) (← links)
- Constraint propagation on quadratic constraints (Q606897) (← links)
- Certified error bounds for uncertain elliptic equations (Q930711) (← links)
- Enhancing numerical constraint propagation using multiple inclusion representations (Q1039582) (← links)
- Constructive Interval Disjunction (Q3523079) (← links)