logic synthesis; binary decision; diagrams; finite state machines.;
机译:使用MTBDD对不完全指定功能的FORM进行最小化
机译:结合有序的最佳优先搜索与分支和绑定,以实现精确的BDD最小化
机译:朝向BDDS的精确最小化 - 一种基于精英的分布式进化算法
机译:隐式配方,用于精确BDD最小化未完全指定的功能
机译:非线性弹性中的轴对称问题:能量最小化器的存在和整体注入以及新型的精确解。
机译:使用k-mer索引查找最大精确匹配时将固定采样与最小化采样进行比较
机译:精确BDD最小化不完全指定函数的隐式公式