Travelled to:
1 × Korea
Collaborated with:
K.Jiang Y.Gao Y.Zhan
Talks about:
constraint (1) algorithm (1) parallel (1) geometr (1) solv (1)
Person: Xingfeng Lv
DBLP: Lv:Xingfeng
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.