OBDD符号技术相关论文
可行装配序列生成是装配序列规划的核心问题,是个典型的NP难题。传统装配序列方法研究主要着眼于通过增加约束的方式减少无效序列......
命题动态逻辑(propositional dynamic logic.简称PDL)最初是由Fischer和Ladner在上世纪70年代末引入的,已成为计算机科学中一种有......