%0 Journal Article %1 journals/tvlsi/McGeerSBS93 %A McGeer, Patrick C. %A Sanghavi, Jagesh V. %A Brayton, Robert K. %A Sangiovanni-Vincentelli, Alberto L. %D 1993 %J IEEE Trans. Very Large Scale Integr. Syst. %K dblp %N 4 %P 432-440 %T ESPRESSO-SIGNATURE: a new exact minimizer for logic functions. %U http://dblp.uni-trier.de/db/journals/tvlsi/tvlsi1.html#McGeerSBS93 %V 1

@article{journals/tvlsi/McGeerSBS93, added-at = {2020-03-11T00:00:00.000+0100}, author = {McGeer, Patrick C. and Sanghavi, Jagesh V. and Brayton, Robert K. and Sangiovanni-Vincentelli, Alberto L.}, biburl = {https://www.bibsonomy.org/bibtex/29e517adce6d4b47eb6b69c48970d1a09/dblp}, ee = {https://www.wikidata.org/entity/Q57380954}, interhash = {c60b674fbce3839b9bd41397fda6bceb}, intrahash = {9e517adce6d4b47eb6b69c48970d1a09}, journal = {IEEE Trans. Very Large Scale Integr. Syst.}, keywords = {dblp}, number = 4, pages = {432-440}, timestamp = {2020-03-12T11:41:03.000+0100}, title = {ESPRESSO-SIGNATURE: a new exact minimizer for logic functions.}, url = {http://dblp.uni-trier.de/db/journals/tvlsi/tvlsi1.html#McGeerSBS93}, volume = 1, year = 1993 }