HUSCAP logo Hokkaido Univ. logo

Hokkaido University Collection of Scholarly and Academic Papers >
情報科学研究科  >
雑誌発表論文等  >

Zero-suppressed BDDs and their applications

IJSTTT3-2.pdf340.22 kBPDF見る/開く

タイトル: Zero-suppressed BDDs and their applications
著者: Minato, Shin-ichi 著作を一覧する
キーワード: BDD
Boolean function
Combinatorial problem
発行日: 2001年 5月
出版者: Springer Berlin / Heidelberg
誌名: International Journal on Software Tools for Technology Transfer
巻: 3
号: 2
開始ページ: 156
終了ページ: 170
抄録: In many real-life problems, we are often faced with manipulating sets of combinations. In this article, we study a special type of ordered binary decision diagram (OBDD), called zero-suppressed BDDs (ZBDDs). This data structure represents sets of combinations more efficiently than using original OBDDs. We discuss the basic data structures and algorithms for manipulating ZBDDs in contrast with the original OBDDs. We also present some practical applications of ZBDDs, such as solving combinatorial problems with unate cube set algebra, logic synthesis methods, Petri net processing, etc. We show that a ZBDD is a useful option in OBDD techniques, suitable for a part of the practical applications.
Rights: The original publication is available at
Relation (URI):
資料タイプ: article (author version)
出現コレクション:雑誌発表論文等 (Peer-reviewed Journal Articles, etc)

提供者: 湊 真一


本サイトに関するご意見・お問い合わせは repo at へお願いします。 - 北海道大学