Improving the variable ordering of OBDDs is NP-complete (1996)

by B Bollig, I Wegener
Venue:IEEE Transactions on Computers