Fengying Li, Tianlong Gu, Guoyong Cai, Liang Chang. Symbolic ZBDD Representations for Mechanical Assembly Sequences. In Zhongzhi Shi, David B. Leake, Sunil Vadera, editors, Intelligent Information Processing VI - 7th IFIP TC 12 International Conference, IIP 2012, Guilin, China, October 12-15, 2012. Proceedings. Volume 385 of IFIP Advances in Information and Communication Technology, pages 208-215, Springer, 2012. [doi]
Abstract is missing.