%0 Conference Paper %1 conf/dac/McGeerSBS93 %A McGeer, Patrick C. %A Sanghavi, Jagesh V. %A Brayton, Robert K. %A Sangiovanni-Vincentelli, Alberto L. %B DAC %D 1993 %E Dunlop, Alfred E. %I ACM Press %K dblp %P 618-624 %T Espresso-Signature: A New Exact Minimizer for Logic Functions. %U http://dblp.uni-trier.de/db/conf/dac/dac93.html#McGeerSBS93 %@ 0-89791-577-1

@inproceedings{conf/dac/McGeerSBS93, added-at = {2017-03-16T00: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/20c72b1d550a36e147027e1451c7e8ff6/dblp}, booktitle = {DAC}, crossref = {conf/dac/1993}, editor = {Dunlop, Alfred E.}, ee = {http://doi.acm.org/10.1145/157485.165069}, interhash = {c60b674fbce3839b9bd41397fda6bceb}, intrahash = {0c72b1d550a36e147027e1451c7e8ff6}, isbn = {0-89791-577-1}, keywords = {dblp}, pages = {618-624}, publisher = {ACM Press}, timestamp = {2017-03-17T11:41:30.000+0100}, title = {Espresso-Signature: A New Exact Minimizer for Logic Functions.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac93.html#McGeerSBS93}, year = 1993 }