Improving the variable ordering of OBDDs is NPcomplete (1996)

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