The Complexity of the Optimal Variable Ordering Problems of Shared Binary Decision Diagrams.

Seiichiro Tani, Kiyoharu Hamaguchi, Shuzo Yajima

Browse the full ISAAC paper archive.