A new dynamic heuristic binary decision diagram (BDD) minimization algorithm is proposed.

 
  • 摘要提出了一种新的动态启发式二叉判定图(BDD)最小化算法。
今日热词
目录 附录 查词历史