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]
No references recorded for this publication.
No citations of this publication recorded.