Multi-Valued Decision Diagrams
T.Y.K. Kam and Robert K. Brayton
EECS Department, University of California, Berkeley
Technical Report No. UCB/ERL M90/125
1990
This publication is archived. It is kept only for reference purposes, so it is no longer being updated and may not meet accessibility standards. If you need this content in a different format, please email webteam@eecs.berkeley.edu.
http://www2.eecs.berkeley.edu/Pubs/TechRpts/1990/Archive/ERL-90-125.pdf
BibTeX citation:
@techreport{Kam:M90/125,
Author= {Kam, T.Y.K. and Brayton, Robert K.},
Title= {Multi-Valued Decision Diagrams},
Year= {1990},
Month= {Dec},
Url= {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1990/1671.html},
Number= {UCB/ERL M90/125},
}
EndNote citation:
%0 Report %A Kam, T.Y.K. %A Brayton, Robert K. %T Multi-Valued Decision Diagrams %I EECS Department, University of California, Berkeley %D 1990 %@ UCB/ERL M90/125 %U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1990/1671.html %F Kam:M90/125