The following pages link to Comparing partial consistencies (Q1971075):
Displayed 4 items.
- A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability (Q475431) (← links)
- A rigorous global filtering algorithm for quadratic constraints (Q1774519) (← links)
- An analysis of arithmetic constraints on integer intervals (Q2460254) (← links)
- Constraint aggregation for rigorous global optimization (Q5962722) (← links)