几何约束求解的扩展C-树分解法
李文辉1, 孙明玉1, 曹春红2

Extension C-tree decomposition method for geometric constraint solving
LI Wen-hui1, SUN Ming-yu1, CAO Chun-hong2
实例2的几何约束图