34th International Symposium on Multiple-Valued Logic (ISMVL'04) Reduction of Sizes of Multi-Valued Decision Diagrams by Copy Properties University of Toronto, Toronto, Canada May 19-May 22 ISBN: 0-7695-2130-4
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 ef.ciently 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 modi.cation of MDDs that exploits copy properties of functions besides properties already used in reduction of MDDs. Experimental results show reduction capabilities of CMDDs.
Citation:
Dragan Janković, Radomir S. Stanković, Rolf Drechsler, "Reduction of Sizes of Multi-Valued Decision Diagrams by Copy Properties," ismvl, pp.223-228, 34th International Symposium on Multiple-Valued Logic (ISMVL'04), 2004 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||