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.












