文献

J-GLOBAL ID：201702231455743321   整理番号：17A1774647

標識BDD(二分決定グラフ):異なる決定グラフ型からの還元則の結合【Powered by NICT】

Tagged BDDs: Combining reduction rules from different decision diagram types

著者 (3件)： van Dijk Tom (Institute for Formal Models and Verification, Johannes Kepler University Linz, Austria) ,  Wille Robert (Institute for Integrated Circuits, Johannes Kepler University Linz, Austria) ,  Meolic Robert (Faculty of EE and CS, University of Maribor, Slovenia)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： FMCAD  ページ： 108-115  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 二分決定図を離散数学,電気工学と計算機科学における基本的データ構造である。存在し,異なる還元規則を採用した特定の変化における二分決定グラフの多くの異なる変化。いくつかの応用では,オンザフライ状態空間探索のような,多重還元規則が関与するグラフの大きさを最小化するために有益である。標識二分決定グラフ,二つの還元則を同時に使用することを可能にするエッジベースアプローチを提案した。実験評価をオンザフライ状態空間探索は伝統的な二分決定図と比較して標識した二分決定グラフを用いた速い大きさの順であることを示した。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： 多重化 ,  計算機科学 ,  *グラフ ,  データ構造 ,  電気工学 ,  *二分決定グラフ
準シソーラス用語： 状態空間 ,  離散数学 , 【Automatic Indexing@JST】

分類 (1件)： 論理回路  (NC05070B)

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