Travelled to:
1 × Korea
Collaborated with:
Y.Gao X.Lv Y.Zhan
Talks about:
constraint (1) algorithm (1) parallel (1) geometr (1) solv (1)
Person: Kun Jiang
DBLP: Jiang:Kun
Contributed to:
Wrote 1 papers:
- SAC-2007-KunXY #algorithm #constraints #geometry #parallel #theorem proving
- Parallel algorithms on geometric constraint solving (KJ, YG, XL, YZ), pp. 778–779.