## Stem seidel$ (all stems)

### 2 papers:

- SAC-2005-Goualard #algorithm #constraints #on the #theorem proving
- On considering an interval constraint solving algorithm as a free-steering nonlinear Gauss-Seidel procedure (FG), pp. 1434–1438.
- ICLP-1995-ChiuL #constraints #linear #theorem proving #using
- Interval Linear Constraint Solving Using the Preconditioned Interval Gauss-Seidel Method (CKC, JHML), pp. 17–31.