Applications of zero-suppressed decision diagrams

被引：0
|
作者：
Sasao, Tsutomu [1 ]
Butler, Jon T. [2 ]
机构：
[1] Department of Computer Science, Meiji University, Kawasaki, Japan
[2] Naval Postgraduate School, Monterey,CA, United States
来源：
Synthesis Lectures on Digital Circuits and Systems | 2015年 / 9卷 / 02期
关键词：
D O I：
10.2200/S00612ED1V01Y201411DCS045
中图分类号：
学科分类号：
摘要：
引用
下载
收藏
页码：1 / 125
相关论文
共 50 条
  • [1] Zero-suppressed Binary Decision Diagrams Automated Test Assmbly using Zero-suppressed Binary Decision Diagrams
    Fuchimoto K.
    Minato S.-I.
    Ueno M.
    Transactions of the Japanese Society for Artificial Intelligence, 2022, 37 (05)
  • [2] Introduction to zero-suppressed decision diagrams
    Mishchenko, Alan
    Synthesis Lectures on Digital Circuits and Systems, 2014, 45 : 1 - 33
  • [3] Zero-Suppressed Sentential Decision Diagrams
    Nishino, Masaaki
    Yasuda, Norihito
    Minato, Shin-ichi
    Nagata, Masaaki
    THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2016, : 1058 - 1066
  • [4] Encoding CSPs with Zero-suppressed Decision Diagrams
    Hansen, Esben Rune
    20TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, VOL 1, PROCEEDINGS, 2008, : 477 - 485
  • [5] Chain Reduction for Binary and Zero-Suppressed Decision Diagrams
    Bryant, Randal E.
    JOURNAL OF AUTOMATED REASONING, 2020, 64 (07) : 1361 - 1391
  • [6] Chain Reduction for Binary and Zero-Suppressed Decision Diagrams
    Randal E. Bryant
    Journal of Automated Reasoning, 2020, 64 : 1361 - 1391
  • [7] Chain Reduction for Binary and Zero-Suppressed Decision Diagrams
    Bryant, Randal E.
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2018, PT I, 2018, 10805 : 81 - 98
  • [8] Regular expression matching using zero-suppressed decision diagrams
    Nagayama, Shinobu
    Synthesis Lectures on Digital Circuits and Systems, 2014, 45 : 63 - 88
  • [9] A method of variable ordering for zero-suppressed binary decision diagrams in data mining applications
    Iwasaki, Haruya
    Minato, Shin-ichi
    Zeugmann, Thomas
    2007 IEEE INTERNATIONAL WORKSHOP ON DATABASES FOR NEXT GENERATION RESEARCHERS, 2007, : 85 - +
  • [10] Designing Survivable Networks with Zero-Suppressed Binary Decision Diagrams
    Suzuki, Hirofumi
    Ishihata, Masakazu
    Minato, Shin-ichi
    WALCOM: ALGORITHMS AND COMPUTATION (WALCOM 2020), 2020, 12049 : 273 - 285
12345