`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:

### Wrote 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.