Pages that link to "Item:Q5897219"
From MaRDI portal
The following pages link to Principles and Practice of Constraint Programming – CP 2003 (Q5897219):
Displaying 6 items.
- Efficient solution of a class of quantified constraints with quantifier prefix exists-forall (Q475420) (← links)
- Efficient handling of universally quantified inequalities (Q1020499) (← links)
- Quantified set inversion algorithm with applications to control (Q2568644) (← links)
- A new proposal of quasi-solved form for equality constraint solving (Q2871847) (← links)
- (Q4409154) (← links)
- Efficient solving of quantified inequality constraints over the real numbers (Q5277761) (← links)