First, this paper introduces the principle and correlative conclusions of HDD, and illuminates the important of variable ordering to a BDD.

 
  • 本文首先介绍了BDD的原理与相关结论,说明了变量编序对于BDD规模(节点数和路径深度)大小的影响。
今日热词
目录 附录 查词历史