Binary decision diagrams in theory and practice

被引：15

作者：

Drechsler R. ^{[1
]}

Sieling D. ^{[2
]}

机构：

[1] Corporate Technology, Siemens

[2] FB Informatik, LS 2, University of Dortmund

来源：

International Journal on Software Tools for Technology Transfer | 2001年 / 3卷 / 02期

关键词：

Binary decision diagram; Boolean function; Branching program; Data structure; VLSI CAD;

D O I：

10.1007/s100090100056

中图分类号：

学科分类号：

摘要：

Decision diagrams (DDs) are the state-of-the-art data structure in VLSI CAD and have been successfully applied in many other fields. DDs are widely used and are also integrated in commercial tools. This special section comprises six contributed articles on various aspects of the theory and application of DDs. As preparation for these contributions, the present article reviews the basic definitions of binary decision diagrams (BDDs). We provide a brief overview and study theoretical and practical aspects. Basic properties of BDDs are discussed and manipulation algorithms are described. Extensions of BDDs are investigated and by this we give a deeper insight into the basic data structure. Finally we outline several applications of BDDs and their extensions and suggest a number of articles and books for those who wish to pursue the topic in more depth. © 2001 Springer-Verlag.

引用

页码：112 / 136

页数：24

共 50 条

[41] Terminal reliability using binary decision diagrams
Singh, H
Vaithilingam, S
Anne, RK
Anneberg, L
MICROELECTRONICS AND RELIABILITY, 1996, 36 (03): : 363 - 365
[42] BINARY DECISION DIAGRAMS AS A HOL DERIVED RULE
HARRISON, J
COMPUTER JOURNAL, 1995, 38 (02): : 162 - 170
[43] A multilevel algorithm based on binary decision diagrams
Schuster, Johann
Siegle, Markus
ASMTA 2007: PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON ANALYTICAL AND STOCHASTIC MODELLING TECHNIQUES AND APPLICATIONS, 2007, : 129 - 136
[44] Ordered binary decision diagrams and minimal trellises
Lafferty, J
Vardy, A
IEEE TRANSACTIONS ON COMPUTERS, 1999, 48 (09) : 971 - 986
[45] Optimization Bounds from Binary Decision Diagrams
Bergman, David
Cire, Andre A.
van Hoeve, Willem-Jan
Hooker, John N.
PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2014, 2014, 8656 : 903 - 907
[46] Outlier detection using binary decision diagrams
Takuro Kutsuna
Akihiro Yamamoto
Data Mining and Knowledge Discovery, 2017, 31 : 548 - 572
[47] Optimizing Binary Decision Diagrams with MaxSAT for Classification
Hu, Hao
Huguet, Marie-Jose
Siala, Mohamed
THIRTY-SIXTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FOURTH CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE / THE TWELVETH SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2022, : 3767 - 3775
[48] BDDL: A Type System for Binary Decision Diagrams
Lembachar, Yousra
Rusich, Ryan
Neamtiu, Iulian
Ciardo, Gianfranco
TESTS AND PROOFS (TAP 2022), 2022, 13361 : 31 - 47
[49] Distributed Binary Decision Diagrams for Symbolic Reachability
Oortwijn, Wytse
van Dijk, Tom
van de Pol, Jaco
SPIN'17: PROCEEDINGS OF THE 24TH ACM SIGSOFT INTERNATIONAL SPIN SYMPOSIUM ON MODEL CHECKING OF SOFTWARE, 2017, : 21 - 30
[50] Adiar Binary Decision Diagrams in External Memory
Solvsten, Steffan Christ
van de Pol, Jaco
Jakobsen, Anna Blume
Thomasen, Mathias Weller Berg
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2022, PT II, 2022, 13244 : 595 - 313

← 1 2 3 4 5 →