論文

査読有り 招待有り
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

エクスポート
BibTeX RIS