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

by B Bollig, I Wegener
Venue:IEEE Transac. on Computers