D. Michael Miller, David Y. Feinstein, Mitchell A. Thornton. QMDD Minimization Using Sifting for Variable Reordering. Multiple-Valued Logic and Soft Computing, 13(4-6):537-552, 2007. [doi]
@article{MillerFT07-0,
title = {QMDD Minimization Using Sifting for Variable Reordering},
author = {D. Michael Miller and David Y. Feinstein and Mitchell A. Thornton},
year = {2007},
url = {http://www.oldcitypublishing.com/MVLSC/MVLSCabstracts/MVLSC13.4-6abstracts/MVLSCv13n4-6p537-552Miller.html},
researchr = {https://researchr.org/publication/MillerFT07-0},
cites = {0},
citedby = {0},
journal = {Multiple-Valued Logic and Soft Computing},
volume = {13},
number = {4-6},
pages = {537-552},
}