Pages that link to "Item:Q1020499"
From MaRDI portal
The following pages link to Efficient handling of universally quantified inequalities (Q1020499):
Displaying 6 items.
- Efficient solution of a class of quantified constraints with quantifier prefix exists-forall (Q475420) (← links)
- A complexity perspective on entailment of parameterized linear constraints (Q487646) (← links)
- Efficient handling of universally quantified inequalities (Q1020499) (← links)
- A standard branch-and-bound approach for nonlinear semi-infinite problems (Q2282532) (← links)
- Efficient solving of quantified inequality constraints over the real numbers (Q5277761) (← links)
- Principles and Practice of Constraint Programming – CP 2003 (Q5897219) (← links)