Symbolic OBDD Assembly Sequence Planning Algorithm Based on Unordered Partition with 2 Parts of a Po
- 所属机构名称:桂林电子科技大学
- 会议名称:roceedings of the 7th International Conference on Intelligent Information Processing
- 时间:2012.10.12
- 成果类型:会议
- 相关项目:软约束满足问题的符号表示及其推理研究