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:
19951994Wrote 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.