Algebraic decision diagrams and their applications

被引：0
|
作者：
Univ of Colorado, Boulder, United States [1 ]
机构：
来源：
Formal Methods Syst Des | / 2-3卷 / 171-206期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
下载
收藏
相关论文
共 50 条
  • [1] Algebraic decision diagrams and their applications
    Bahar, RI
    Frohm, EA
    Gaona, CM
    Hachtel, GD
    Macii, E
    Pardo, A
    Somenzi, F
    FORMAL METHODS IN SYSTEM DESIGN, 1997, 10 (2-3) : 171 - 206
  • [2] Algebraic Attacks Using Binary Decision Diagrams
    Raddum, Havard
    Kazymyrov, Oleksandr
    CRYPTOGRAPHY AND INFORMATION SECURITY IN THE BALKANS, 2015, 9024 : 40 - 54
  • [3] ADDMC: Weighted Model Counting with Algebraic Decision Diagrams
    Dudek, Jeffrey M.
    Phan, Vu H. N.
    Vardi, Moshe Y.
    THIRTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THE THIRTY-SECOND INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE AND THE TENTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2020, 34 : 1468 - 1476
  • [4] Algebraic Sentential Decision Diagrams in Symbolic Probabilistic Planning
    Herrmann, Ricardo G.
    de Barros, Leliane N.
    2013 BRAZILIAN CONFERENCE ON INTELLIGENT SYSTEMS (BRACIS), 2013, : 175 - 181
  • [5] Spectral interpretation and applications of decision diagrams
    Falkowski, BJ
    Stankovic, RS
    VLSI DESIGN, 2000, 11 (02) : 85 - 105
  • [6] Decision diagrams in synthesis - Algorithms, applications and extensions
    Becker, B
    Drechsler, R
    TENTH INTERNATIONAL CONFERENCE ON VLSI DESIGN, PROCEEDINGS, 1997, : 46 - 50
  • [7] Applications of zero-suppressed decision diagrams
    Sasao, Tsutomu
    Butler, Jon T.
    Synthesis Lectures on Digital Circuits and Systems, 2015, 9 (02): : 1 - 125
  • [8] Affine Algebraic Decision Diagrams (AADDs) and their Application to Structured Probabilistic Inference
    Sanner, Scott
    McAllester, David
    19TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-05), 2005, : 1384 - 1390
  • [9] State decision diagram as the dual graphs of binary decision diagrams and their applications
    Ghaznavi-Ghoushchi, MB
    Nabavi, AR
    IEEE CCEC 2002: CANADIAN CONFERENCE ON ELECTRCIAL AND COMPUTER ENGINEERING, VOLS 1-3, CONFERENCE PROCEEDINGS, 2002, : 620 - 625
  • [10] Reliability and Quality of Service in Weighted Probabilistic Networks using Algebraic Decision Diagrams
    Bobbio, Andrea
    Terruggia, Roberta
    ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM, 2009 PROCEEDINGS, 2009, : 19 - 24
12345