Travelled to:3 × USA
Collaborated with:H.Leung Y.C.Law C.K.Chiu
Talks about:constraint (4) increment (2) program (2) concurr (2) toward (2) queri (2) logic (2) determinist (1) symmetri (1) process (1)
Person: Jimmy Ho-Man Lee
DBLP: Lee:Jimmy_Ho=Man
Contributed to:
20051996
19941994Wrote 4 papers:
- SAC-2005-LawL #constraints #matrix #modelling #symmetry #using
- Breaking value symmetries in matrix models using channeling constraints (YCL, JHML), pp. 371–376.
- SAC-1996-LeeL #concurrent #constraints #incremental #query
- Incremental querying in the concurrent CLP language IFD-Constraint Pandora (JHML, HfL), pp. 387–392.
- ILPS-1994-ChiuL #constraints #logic programming #theorem proving #towards
- Towards Practical Interval Constraint Solving in Logic Programming (CKC, JHML), pp. 109–123.
- SAC-1994-LeeL #concurrent #constraints #incremental #logic programming #named #nondeterminism #query #towards
- IQ: towards incremental query processing in non-deterministic concurrent constraint logic programming (JHML, HfL), pp. 405–409.