1999年9月
BDD(二分決定グラフ)とその応用
応用数理
- 巻
- 9
- 号
- 3
- 開始ページ
- 194
- 終了ページ
- 206
- 記述言語
- 日本語
- 掲載種別
- 研究論文(学術雑誌)
- DOI
- 10.11540/bjsiam.9.3_194
- 出版者・発行元
- 一般社団法人日本応用数理学会
Manipulation of Boolean functions is one of the fundamental research subject in Computer Science. Many real-life problems in digital system design and testing can be expressed as a sequence of operations on Boolean functions. Recently, BDDs (Binary Decision Diagrams) have attracted much attention because they enable us to manipulate Boolean functions efficiently in terms of time and space. There are many cases in which conventional algorithms can be significantly improved by using BDDs. In this survey, we explain the basic techniques of BDD manipulation, and then show the recent research to...
- リンク情報
-
- DOI
- https://doi.org/10.11540/bjsiam.9.3_194
- CiNii Articles
- http://ci.nii.ac.jp/naid/110007390794
- CiNii Books
- http://ci.nii.ac.jp/ncid/AN10288886
- ID情報
-
- DOI : 10.11540/bjsiam.9.3_194
- ISSN : 0917-2270
- CiNii Articles ID : 110007390794
- CiNii Books ID : AN10288886