D. Michael Miller, David Y. Feinstein, Mitchell A. Thornton. Variable Reordering and Sifting for QMDD. In 37th International Symposium on Multiple-Valued Logic, ISMVL 2007, 13-16 May 2007, Oslo, Norway. pages 10, IEEE Computer Society, 2007. [doi]
Abstract is missing.