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
BibTeX citation:
@techreport{Kam:M90/125,
Author = {Kam, T.Y.K. and Brayton, Robert K.},
Title = {Multi-Valued Decision Diagrams},
Institution = {EECS Department, University of California, Berkeley},
Year = {1990},
URL = {http://www.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://www.eecs.berkeley.edu/Pubs/TechRpts/1990/1671.html %F Kam:M90/125