限量変数を含む多項式サイズの二分決定グラフで表現できる論理関数について

スポンサーリンク

概要

• 論文の詳細を見る

• Ordered Binary Decision Diagrams (OBDDs) have been utilized in various applications as an efficient data structure for representing Boolean functions. Though requirements for manipulating very large OBDDs are increasing, the size of OBDDs is limited by the amount of computer storage. Recently, methods for treating Boolean functions without constructing whole OBDDs are studied. Some of them decomposes Boolean functions and manipulates them in decomposed form in order to reduce the required amount of storage. This paper studies how efficiently these methods can work from a theoretical viewpoint.

• 社団法人電子情報通信学会の論文
• 1994-09-26

著者

• 高木 一義

  京都大学工学部情報工学教室

• 矢島 修三

  京都大学工学部情報工学教室

関連論文

• 連分数展開を用いた高速開平アルゴリズム
• 限量変数を含む多項式サイズの二分決定グラフで表現できる論理関数について
• 有向非巡回グラフの線形配置アルゴリズムについて
• C-8-1 Nb-9層アドバンストプロセスを用いて試作したシフトレジスタの測定評価(C-8.超伝導エレクトロニクス,一般セッション)

スポンサーリンク