Improved Algorithm for Binary Decision Diagram Minimization Problem
碩士 === 國立臺灣師範大學 === 資訊教育研究所 === 90 === Binary Decision Diagram (BDD) is a data structure for the representation and manipulation of Boolean functions, which is applied in many areas. However, finding the optimal variable ordering of BDD seems to be intractable. Though numerous...
Main Authors: | , |
---|---|
Other Authors: | |
Format: | Others |
Language: | zh-TW |
Published: |
2002
|
Online Access: | http://ndltd.ncl.edu.tw/handle/46565537111016330931 |