"Variable Reordering and Sifting for QMDD."

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