"QMDD Minimization Using Sifting for Variable Reordering."

D. Michael Miller, David Y. Feinstein, Mitchell A. Thornton (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics