logic CAD; minimisation of switching nets; search problems; adjacent minterm operations; minimization algorithm; prime implicant computation; adjacent minterm; essential; irredundant cover; prime implicant;
机译:基于新的偏序运算规则的精确直接覆盖算法快速计算素数蕴涵
机译:基于递减的基于偏移量的快速计算给定立方体的底蕴的方法
机译:非相干动态系统中素数蕴含量识别的计算框架
机译:基于相邻最小项运算的素数蕴涵计算
机译:建立基于认知效果的操作的逻辑框架:一些经验和计算结果。
机译:多个相邻碱基对的归巢核酸内切酶特异性的计算重编程
机译:非相干动力系统中初始隐含识别的计算框架
机译:最终的环境评估建设和运营美国特种作战司令部南总部毗邻霍姆斯特德空军预备基地,佛罗里达州霍姆斯特德。