Reduction of sizes of multi-valued decision diagrams by copy properties

被引：0
|
作者：
Jankovic, D [1 ]
Stankovic, RS [1 ]
Drechsler, R [1 ]
机构：
[1] Fac Elect, Dept Comp Sci, Nish, Serbia, Serbia
来源：
34TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS | 2004年
关键词：
D O I：
10.1109/ISMVL.2004.1319945
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Copy Decision Diagrams (CDDs) are an approach to the reduction of sizes of Multi-Terminal Binary Decision Diagrams (MTBDDs) by using the copy properties of discrete functions. Functions having different types of copy properties can be efficiently represented by CDDs. Illustrative examples are Walsh and Reed-Muller functions as well as different binary codes. In this paper we consider an extension of this idea to Multi-valued Decision Diagrams (MDDs). We propose Copy MDDs (CMDD) as a modification of MDDs that exploits copy properties of functions besides properties already used in reduction of MDDs. Experimental results show reduction capabilities of CMDDs.
引用
收藏
页码：223 / 228
页数：6
相关论文
共 50 条
  • [1] AND/OR Multi-valued Decision Diagrams for constraint networks
    Mateescu, Robert
    Dechter, Rina
    [J]. CONCURRENCY, GRAPHS AND MODELS: ESSAYS DEDICATED TO UGO MONTANARI ON THE OCCASION OF HIS 65TH BIRTHDAY, 2008, 5065 : 238 - +
  • [2] AND/OR Multi-Valued Decision Diagrams for constraint optimization
    Mateescu, Robert
    Marinescu, Radu
    Dechter, Rina
    [J]. PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2007, 2007, 4741 : 498 - 513
  • [3] AND/OR multi-valued decision diagrams (AOMDDs) for graphical models
    Mateescu, Robert
    Dechter, Rina
    Marinescu, Radu
    [J]. Journal of Artificial Intelligence Research, 2008, 33 : 465 - 519
  • [4] AND/OR Multi-Valued Decision Diagrams (AOMDDs) for Graphical Models
    Mateescu, Robert
    Dechter, Rina
    Marinescu, Radu
    [J]. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2008, 33 : 465 - 519
  • [5] Parallel Algorithms for Operations on Multi-Valued Decision Diagrams
    Perez, Guillaume
    Regin, Jean-Charles
    [J]. THIRTY-SECOND AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTIETH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / EIGHTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2018, : 6625 - 6632
  • [6] Symbolic Planning with Edge-Valued Multi-Valued Decision Diagrams
    Speck, David
    Geisser, Florian
    Mattmueller, Robert
    [J]. TWENTY-EIGHTH INTERNATIONAL CONFERENCE ON AUTOMATED PLANNING AND SCHEDULING (ICAPS 2018), 2018, : 250 - 258
  • [7] Efficient incremental planning and learning with multi-valued decision diagrams
    Magnan, Jean-Christophe
    Wuillemin, Pierre-Henri
    [J]. JOURNAL OF APPLIED LOGIC, 2017, 22 : 63 - 90
  • [8] Compiling constraint networks into AND/OR multi-valued decision diagrams (AOMDDs)
    Mateescu, Robert
    Dechter, Rina
    [J]. PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2006, 2006, 4204 : 329 - 343
  • [9] Area-time complexities of multi-valued decision diagrams
    Nagayama, S
    Sasao, T
    Iguchi, Y
    Matsuura, M
    [J]. IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2004, E87A (05) : 1020 - 1028
  • [10] Integrated Importance Analysis with Multi-state Multi-valued Decision Diagrams
    Li, Shumin
    Sun, Shudong
    Cai, Zhiqiang
    Si, Shubin
    [J]. PROCEEDINGS 18TH ISSAT INTERNATIONAL CONFERENCE ON RELIABILITY & QUALITY IN DESIGN, 2012, : 194 - 198
12345