最优变量排序相关论文
本文在Friedman等人提出的一种寻找最优变量序的算法的基础上将广泛应用于人工智能的A*搜索算法引入到最优变量排序方法中，提出了一......
介绍了二叉判定图（BDD）的相关知识及在构造BDD过程中变量顺序对其结点数的影响，在Friednan等提出的一种寻找最优变量排序算法的基础上......
二叉判定图（BDD）作为表示布尔函数的有效工具，被广泛的应用到逻辑综合，布尔电路的测试等领域，但是在构造BDD的过程中变量的顺序对其结点......
