A global approach to the variable ordering problem in PSBDDs.

Wei Wang, Malgorzata Chrzanowska-Jeske

Browse the full ISCAS paper archive.