G.M. Swamy, P. McGeer and Robert K. Brayton
EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M92/127
November 1992
http://www2.eecs.berkeley.edu/Pubs/TechRpts/1992/ERL-92-127.pdf
BibTeX citation:
@techreport{Swamy:M92/127, Author = {Swamy, G.M. and McGeer, P. and Brayton, Robert K.}, Title = {A Fully Implicit Quine-McCluskey Procedure Using BDD's}, Institution = {EECS Department, University of California, Berkeley}, Year = {1992}, Month = {Nov}, URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1992/2213.html}, Number = {UCB/ERL M92/127} }
EndNote citation:
%0 Report %A Swamy, G.M. %A McGeer, P. %A Brayton, Robert K. %T A Fully Implicit Quine-McCluskey Procedure Using BDD's %I EECS Department, University of California, Berkeley %D 1992 %@ UCB/ERL M92/127 %U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1992/2213.html %F Swamy:M92/127