%0 Conference Paper %1 conf/dac/Minato94 %A ichi Minato, Shin %B DAC %D 1994 %E Lorenzetti, Michael J. %I ACM Press %K dblp %P 420-424 %T Calculation of Unate Cube Set Algebra Using Zero-Suppressed BDDs. %U http://dblp.uni-trier.de/db/conf/dac/dac94.html#Minato94 %@ 0-7803-1836-6

@inproceedings{conf/dac/Minato94, added-at = {2017-03-16T00:00:00.000+0100}, author = {ichi Minato, Shin}, biburl = {https://www.bibsonomy.org/bibtex/27cf82b033bca9f73d997ecf13deeb494/dblp}, booktitle = {DAC}, crossref = {conf/dac/1994}, editor = {Lorenzetti, Michael J.}, ee = {http://doi.acm.org/10.1145/196244.196446}, interhash = {b2fe80f5dff7ece33854e31cc6f3a921}, intrahash = {7cf82b033bca9f73d997ecf13deeb494}, isbn = {0-7803-1836-6}, keywords = {dblp}, pages = {420-424}, publisher = {ACM Press}, timestamp = {2017-03-17T11:41:18.000+0100}, title = {Calculation of Unate Cube Set Algebra Using Zero-Suppressed BDDs.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac94.html#Minato94}, year = 1994 }