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 条

[1] Binary Decision Diagrams
Somenzi, F
CALCULATIONAL SYSTEM DESIGN, 1999, 173 : 303 - 366
[2] BINARY DECISION DIAGRAMS
AKERS, SB
IEEE TRANSACTIONS ON COMPUTERS, 1978, 27 (06) : 509 - 516
[3] Partial binary decision diagrams
Townsend, WJ
Thornton, MA
PROCEEDINGS OF THE THIRTY-FOURTH SOUTHEASTERN SYMPOSIUM ON SYSTEM THEORY, 2002, : 422 - 425
[4] Equational binary decision diagrams
Groote, JF
van de Poll, J
LOGIC FOR PROGRAMMING AND AUTOMATED REASONING, PROCEEDINGS, 2000, 1955 : 161 - 178
[5] A CHARACTERIZATION OF BINARY DECISION DIAGRAMS
CHAKRAVARTY, S
IEEE TRANSACTIONS ON COMPUTERS, 1993, 42 (02) : 129 - 137
[6] Timed binary decision diagrams
Li, ZC
Zhao, YH
Min, YH
Brayton, RK
INTERNATIONAL CONFERENCE ON COMPUTER DESIGN - VLSI IN COMPUTERS AND PROCESSORS, PROCEEDINGS, 1997, : 352 - 357
[7] Compressing Binary Decision Diagrams
Hansen, Esben Rune
Rao, S. Srinivasa
Tiedemann, Peter
ECAI 2008, PROCEEDINGS, 2008, 178 : 799 - +
[8] Shared ordered binary decision diagrams for dempster-shafer theory
Lehmann, Norbert
Symbolic and Quantitative Approaches to Reasoning with Uncertainty, Proceedings, 2007, 4724 : 320 - 331
[9] The multiple variable order problem for Binary Decision Diagrams: Theory and practical application
Scholl, C
Becker, B
Brogle, A
PROCEEDINGS OF THE ASP-DAC 2001: ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE 2001, 2001, : 85 - 90
[10] On the Width of Ordered Binary Decision Diagrams
Bollig, Beate
COMBINATORIAL OPTIMIZATION AND APPLICATIONS (COCOA 2014), 2014, 8881 : 444 - 458

← 1 2 3 4 5 →