%0 Journal Article %1 journals/mvl/MillerFT07 %A Miller, D. Michael %A Feinstein, David Y. %A Thornton, Mitchell A. %D 2007 %J Multiple-Valued Logic and Soft Computing %K dblp %N 4-6 %P 537-552 %T QMDD Minimization Using Sifting for Variable Reordering. %U http://dblp.uni-trier.de/db/journals/mvl/mvl13.html#MillerFT07 %V 13

@article{journals/mvl/MillerFT07, added-at = {2012-03-05T00:00:00.000+0100}, author = {Miller, D. Michael and Feinstein, David Y. and Thornton, Mitchell A.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/20ca326b1339faa2e27190a139f51248a/dblp}, ee = {http://www.oldcitypublishing.com/MVLSC/MVLSCabstracts/MVLSC13.4-6abstracts/MVLSCv13n4-6p537-552Miller.html}, interhash = {53adbe886c41ee91cff4360a25ef292c}, intrahash = {0ca326b1339faa2e27190a139f51248a}, journal = {Multiple-Valued Logic and Soft Computing}, keywords = {dblp}, number = {4-6}, pages = {537-552}, timestamp = {2016-02-02T03:26:12.000+0100}, title = {QMDD Minimization Using Sifting for Variable Reordering.}, url = {http://dblp.uni-trier.de/db/journals/mvl/mvl13.html#MillerFT07}, volume = 13, year = 2007 }