Implicit Manipulation of Equivalence Classes Using Binary Decision Diagrams

B. Lin and A. Richard Newton

EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M91/13
January 1991

http://www2.eecs.berkeley.edu/Pubs/TechRpts/1991/ERL-91-13.pdf

BibTeX citation:

@techreport{Lin:M91/13,
    Author = {Lin, B. and Newton, A. Richard},
    Title = {Implicit Manipulation of Equivalence Classes Using Binary Decision Diagrams},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {1991},
    Month = {Jan},
    URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1991/1700.html},
    Number = {UCB/ERL M91/13}
}

EndNote citation:

%0 Report
%A Lin, B.
%A Newton, A. Richard
%T Implicit Manipulation of Equivalence Classes Using Binary Decision Diagrams
%I EECS Department, University of California, Berkeley
%D 1991
%@ UCB/ERL M91/13
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1991/1700.html
%F Lin:M91/13