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
December 1990

http://www2.eecs.berkeley.edu/Pubs/TechRpts/1990/ERL-90-125.pdf

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},
    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