Planarity in ROMDD's of Multiple-Valued Symmetric Functions


We show that a multiple-valued symmetric function has a planar ROMDD (reduced ordered multiple-valued decisio n diagram) if and only if it is a pseudo-voting function. We show that the number of such functions is where r is the number of logic values and n is the number of variables. I t follows from this that the fraction of symmetric multiple-valued… (More)
DOI: 10.1109/ISMVL.1996.508364


6 Figures and Tables

Slides referencing similar topics