文献

J-GLOBAL ID：200902178157788049   整理番号：93A0464220

BDD(二分決定グラフ) 1.BDDとは

An Introduction to Binary Decision Diagrams.

著者 (1件)： 石浦菜岐佐 (大阪大 工)
資料名： 情報処理  (IPSJ Magazine)
巻： 34  号： 5  ページ： 585-592  発行年： 1993年05月 
JST資料番号： G0427A  ISSN： 0447-8053  資料種別： 逐次刊行物 (A)
記事区分： 文献レビュー  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： BDD(Binary Decision Diagram)は論...

シソーラス用語： 論理関数 ,...
準シソーラス用語： 計算の複雑さ

   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=93A0464220&from=J-GLOBAL&jstjournalNo=G0427A") }}

分類 (3件)： CAD,CAM  (JE10000A) ,  論理回路  (NC05070B) ,  計算理論  (JB02000A)

引用文献 (31件)：

• AKERS, S. B. Binary Decision Diagrams. IEEE Trans. Comput. 1978, C-27, 6, 509-516
• BRECE, K. S. Efficient Implementation of a BDD Package. Proc. 27th ACM/IEEE Design Automation Conf. 1990, 40-45
• BRYANT, R. E. Graph-Based Algorithms for Boolean Function Manipulation. IEEE Trans. Comput. 1986, C-35, 8, 677-691
• BRYANT, R. E. On the Complexity of VLSI Implementations and Graph Representations of Boolean Functions with Application to Integer Multiplication. IEEE Trans. Comput. 1991, C-40, 2, 205-213
• BURCH, J. R. Sequential Circuit Verfication Using Symbolic Model Checking. Proc. 27th ACM/IEEE Design Automation Conf. 1990, 46-51

タイトルに関連する用語 (2件)： BDD ,  二分決定グラフ