`Travelled to:`

1 × Japan

1 × USA

`Collaborated with:`

J.H.M.Lee J.H.Lee

`Talks about:`

interv (3) constraint (2) solv (2) precondit (1) program (1) practic (1) toward (1) seidel (1) method (1) linear (1)

## Person: C. K. Chiu

### DBLP: Chiu:C=_K=

### Contributed to:

### Wrote 2 papers:

- ICLP-1995-ChiuL #constraints #linear #theorem proving #using
- Interval Linear Constraint Solving Using the Preconditioned Interval Gauss-Seidel Method (CKC, JHML), pp. 17–31.
- ILPS-1994-ChiuL #constraints #logic programming #theorem proving #towards
- Towards Practical Interval Constraint Solving in Logic Programming (CKC, JHML), pp. 109–123.