%0 Conference Paper %1 conf/glvlsi/JainBMAF94 %A Jain, Jawahar %A Bitner, James R. %A Moundanos, Dinos %A Abraham, Jacob A. %A Fussell, Donald S. %B Great Lakes Symposium on VLSI %D 1994 %I IEEE %K dblp %P 105-108 %T A new scheme to compute variable orders for binary decision diagrams. %U http://dblp.uni-trier.de/db/conf/glvlsi/glvlsi1994.html#JainBMAF94 %@ 0-8186-5610-7

@inproceedings{conf/glvlsi/JainBMAF94, added-at = {2014-09-29T00:00:00.000+0200}, author = {Jain, Jawahar and Bitner, James R. and Moundanos, Dinos and Abraham, Jacob A. and Fussell, Donald S.}, biburl = {https://www.bibsonomy.org/bibtex/2675192d487a0b978b20bacc98a43b1ac/dblp}, booktitle = {Great Lakes Symposium on VLSI}, crossref = {conf/glvlsi/1994}, ee = {http://dx.doi.org/10.1109/GLSV.1994.289986}, interhash = {e5ef4c20026f58fc896f9d69a4b73a19}, intrahash = {675192d487a0b978b20bacc98a43b1ac}, isbn = {0-8186-5610-7}, keywords = {dblp}, pages = {105-108}, publisher = {IEEE}, timestamp = {2015-06-18T19:32:33.000+0200}, title = {A new scheme to compute variable orders for binary decision diagrams.}, url = {http://dblp.uni-trier.de/db/conf/glvlsi/glvlsi1994.html#JainBMAF94}, year = 1994 }