QMDD Minimization Using Sifting for Variable Reordering

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]

Authors

D. Michael Miller

This author has not been identified. Look up 'D. Michael Miller' in Google

David Y. Feinstein

This author has not been identified. Look up 'David Y. Feinstein' in Google

Mitchell A. Thornton

This author has not been identified. Look up 'Mitchell A. Thornton' in Google