Automatic Reasoning of Assembly Sequence Based on OBDD

• 基于OBDD的装配序列自动推理技术研究