T. Fazio, . De, and D. Whitney, Simplified generation of all mechanical assembly sequences, IEEE Journal on Robotics and Automation, vol.3, issue.6, pp.640-658, 1987.
DOI : 10.1109/JRA.1987.1087132

L. S. Homen-de-mello and A. Sanderson, A correct and complete algorithm for the generation of mechanical assembly sequences, IEEE Transactions on Robotics and Automation, vol.7, issue.2, pp.228-240, 1991.
DOI : 10.1109/70.75905

J. F. Wang, J. H. Liu, and Y. Zhong, A novel ant colony algorithm for assembly sequence planning, The International Journal of Advanced Manufacturing Technology, vol.40, issue.11-12, pp.25-1137, 2005.
DOI : 10.1007/s00170-003-1952-z

R. E. Bryant, Symbolic Boolean manipulation with ordered binary-decision diagrams, ACM Computing Surveys, vol.24, issue.3, pp.293-318, 1992.
DOI : 10.1145/136035.136043
URL : http://akebono.stanford.edu/users/nanni/courses/EE318/bryant92.pdf

J. Burch, E. Clarke, and K. Mcmillan, Symbolic model checking:10 20 states and beyond. Information and Computation, pp.98142-170, 1998.
DOI : 10.1016/0890-5401(92)90017-a
URL : http://doi.org/10.1016/0890-5401(92)90017-a

T. L. Gu, Z. B. Xu, and Z. Yang, Symbolic OBDD representations for mechanical assembly sequences, Computer-Aided Design, vol.40, issue.4, pp.411-421, 2008.
DOI : 10.1016/j.cad.2007.12.001

T. L. Gu and H. Liu, The symoblic OBDD scheme for generating mechanical assembly sequences . Formal Methods in System Design, pp.29-44, 2008.
DOI : 10.1007/s10703-008-0052-y

Z. B. Xu and T. L. Gu, A Constraint Satisfaction Problem Model and Its Symbolic OBDD Solving for Assembly Sequence Planning Problem, Journal of Computer-Aided Design & Computer Graphics, vol.22, issue.5, pp.22-803, 2010.
DOI : 10.3724/SP.J.1089.2010.10800

R. B. Gottipolu and K. Ghosh, A simplified and efficient representation for evaluation and selection of assembly sequences, Computers in Industry, vol.50, issue.3, pp.50251-264, 2003.
DOI : 10.1016/S0166-3615(03)00015-0