A Fully Implicit Quine-McCluskey Procedure Using BDD's
G.M. Swamy and P. McGeer and Robert K. Brayton
EECS Department, University of California, Berkeley
Technical Report No. UCB/ERL M92/127
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},
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