キーワード : BDD


組み合わせインタラクションテストにおけるBDDを用いた制約処理法の性能評価
坂野 宏樹 中川 博之 小島 英春 土屋 達弘 
誌名:   電子情報通信学会論文誌 D
発行日: 2015/03/01
Vol. J98-D  No. 3 ; pp. 384-395
論文種別:  特集論文 (学生論文特集)
専門分野: ソフトウェア工学
キーワード: 
組み合わせインタラクションテスト制約処理BDDSATソルバ
 あらまし | 本文:PDF(862.7KB)

ステータス付き再帰的経路順序による項書換え系多重完備化手続きの実装と性能評価
佐藤 晴彦 栗原 正仁 
誌名:   電子情報通信学会論文誌 D
発行日: 2006/04/01
Vol. J89-D  No. 4 ; pp. 624-631
論文種別:  特集論文 (フォーマルアプローチ論文特集)
専門分野: 計算モデル
キーワード: 
項書換え系ステータス付き再帰的経路順序多重完備化手続きBDD
 あらまし | 本文:PDF(406.7KB)

ゼロサプレス型二分決定グラフを用いたトランザクションデータベースの効率的解析手法
湊 真一 有村 博紀 
誌名:   電子情報通信学会論文誌 D
発行日: 2006/02/01
Vol. J89-D  No. 2 ; pp. 172-182
論文種別:  特集論文 (データ工学論文特集)
専門分野: データマイニング
キーワード: 
二分決定グラフBDDデータマイニング知識発見データベース解析
 あらまし | 本文:PDF(431.7KB)

決定グラフに基づく論理関数の評価システム
井口 幸洋 笹尾 勤 松浦 宗寛 伊勢野 総 
誌名:   電子情報通信学会論文誌 D
発行日: 2001/06/01
Vol. J84-D1  No. 6 ; pp. 523-530
論文種別:  特集論文 (システム開発論文特集)
専門分野: 計算論,計算モデル
キーワード: 
多出力論理関数BDDMDDPMDD
 あらまし | 本文:PDF(876KB)

Verilog HDLによるRSFQ論理回路のタイミング設計手法の検討
吉川 信行 森 静香 越山 潤一 
誌名:   電子情報通信学会論文誌 C
発行日: 2000/07/25
Vol. J83-C  No. 7 ; pp. 643-650
論文種別:  論文
専門分野: 超伝導エレクトロニクス
キーワード: 
RSFQ論理回路BDD回路シミュレーションHDL超伝導集積回路
 あらまし | 本文:PDF(561.9KB)

RSFQ論理回路のセルベース設計手法の検討
越山 潤一 吉川 信行 
誌名:   電子情報通信学会論文誌 C
発行日: 2000/07/25
Vol. J83-C  No. 7 ; pp. 636-642
論文種別:  論文
専門分野: 超伝導エレクトロニクス
キーワード: 
RSFQ論理回路BDDセルベース設計半加算器超伝導集積回路
 あらまし | 本文:PDF(850.8KB)

多数決判別関数のBDDによる簡約化
石井 恵 フセイン アルモアリム 秋葉 泰弘 金田 重郎 
誌名:   電子情報通信学会論文誌 D
発行日: 1995/10/25
Vol. J78-D2  No. 10 ; pp. 1469-1478
論文種別:  論文
専門分野: 人工知能,自然言語処理,認知科学
キーワード: 
機械学習ID3決定木簡約化BDD
 あらまし | 本文:PDF(731.3KB)