WANG Ming-quan, YU Hai-bin, WANG Hong. Overview on the Research of Binary Decision Diagrams Optimization[J]. INFORMATION AND CONTROL, 2004, 33(5): 567-572.
Citation:
WANG Ming-quan, YU Hai-bin, WANG Hong. Overview on the Research of Binary Decision Diagrams Optimization[J]. INFORMATION AND CONTROL, 2004, 33(5): 567-572.
WANG Ming-quan, YU Hai-bin, WANG Hong. Overview on the Research of Binary Decision Diagrams Optimization[J]. INFORMATION AND CONTROL, 2004, 33(5): 567-572.
Citation:
WANG Ming-quan, YU Hai-bin, WANG Hong. Overview on the Research of Binary Decision Diagrams Optimization[J]. INFORMATION AND CONTROL, 2004, 33(5): 567-572.
Overview on the Research of Binary Decision Diagrams Optimization
This paper overviews the achievements and develepment trends of binary decision diagrams(BDD) optimization, focusing on exact ordering algorithm and dynamic heuristic ordering algorithm, and some proposals are given to improve the BDD optimization algorithm: taking advantage of non-complete enumerating method and utilizing the strategy of stochastic process dynamic programming.
DownLoad: