The following pages link to (Q4851602):
Displaying 6 items.
- Constraint propagation on quadratic constraints (Q606897) (← links)
- Efficient task scheduling in the parallel result-verifying solution of nonlinear systems (Q811943) (← links)
- Accelerating filtering techniques for numeric CSPs (Q1606118) (← links)
- Interval unions (Q2359762) (← links)
- Using interval unions to solve linear systems of equations with uncertainties (Q2411656) (← links)
- Validated constraints solving --- practicalities, pitfalls, and new developments (Q2568645) (← links)
