Fast functional evaluation of candidate OBDD variable orderings - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Don E. Ross' in GoogleThis author has not been identified. Look up 'Kenneth M. Butler' in GoogleThis author has not been identified. Look up 'Rohit Kapur' in GoogleThis author has not been identified. Look up 'M. Ray Mercer' in Google

runs on WebDSL