Don E. Ross, Kenneth M. Butler, Rohit Kapur, M. Ray Mercer. Fast functional evaluation of candidate OBDD variable orderings. In Tony Ambler, Jochen A. G. Jess, Hugo De Man, editors, Proceedings of the conference on European design automation, EURO-DAC'91, Amsterdam, The Netherlands, 1991. pages 4-10, EEE Computer Society, 1991. [doi]
Abstract is missing.