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 条
  • [21] Binary superposed quantum decision diagrams
    Rosenbaum, David
    QUANTUM INFORMATION PROCESSING, 2010, 9 (04) : 463 - 496
  • [22] Reasoning with ordered binary decision diagrams
    Horiyama, T
    Ibaraki, T
    ALGORITHM AND COMPUTATION, PROCEEDINGS, 2001, 1969 : 120 - 131
  • [23] Binary decision diagrams and neural networks
    Prasad, P. W. C.
    Assi, Ali
    Beg, Azam
    JOURNAL OF SUPERCOMPUTING, 2007, 39 (03): : 301 - 320
  • [24] A rewriting approach to binary decision diagrams
    Zantema, H
    van de Pol, J
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2001, 49 (1-2): : 61 - 86
  • [25] Reasoning with ordered binary decision diagrams
    Horiyama, T
    Ibaraki, T
    DISCRETE APPLIED MATHEMATICS, 2004, 142 (1-3) : 151 - 163
  • [26] Evasiveness Through Binary Decision Diagrams
    Aransay, Jesus
    Lamban, Laureano
    Rubio, Julio
    INTELLIGENT COMPUTER MATHEMATICS, CICM 2023, 2023, 14101 : 37 - 52
  • [27] Fast binary image processing using binary decision diagrams
    Robert, L
    Malandain, G
    COMPUTER VISION AND IMAGE UNDERSTANDING, 1998, 72 (01) : 1 - 9
  • [28] Use of binary decision diagrams in the modelling and synthesis of binary multipliers
    Lamb, KD
    NINTH ANNUAL IEEE INTERNATIONAL ASIC CONFERENCE AND EXHIBIT, PROCEEDINGS, 1996, : 159 - 162
  • [29] Fast binary image processing using binary decision diagrams
    Robert, L
    Malandain, G
    1997 IEEE COMPUTER SOCIETY CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION, PROCEEDINGS, 1997, : 97 - 102
  • [30] Merging Quality Estimation for Binary Decision Diagrams with Binary Classifiers
    Frohner, Nikolaus
    Raidl, Guenther R.
    MACHINE LEARNING, OPTIMIZATION, AND DATA SCIENCE, 2019, 11943 : 445 - 457
12345