Improving the variable ordering of OBDDs is NP-complete | IEEE Journals & Magazine | IEEE Xplore