Research on the Symbolic OBDD Technology of Judging Geometric Feasibility of Assembly
YanRu Zhong YongQiang Liang MeiFa Huang TianLong Gu
Computer Engineering and Applications . 2007, (3): 50 -50 .