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]
@inproceedings{RossBKM91,
title = {Fast functional evaluation of candidate OBDD variable orderings},
author = {Don E. Ross and Kenneth M. Butler and Rohit Kapur and M. Ray Mercer},
year = {1991},
url = {http://dl.acm.org/citation.cfm?id=951515},
researchr = {https://researchr.org/publication/RossBKM91},
cites = {0},
citedby = {0},
pages = {4-10},
booktitle = {Proceedings of the conference on European design automation, EURO-DAC'91, Amsterdam, The Netherlands, 1991},
editor = {Tony Ambler and Jochen A. G. Jess and Hugo De Man},
publisher = {EEE Computer Society},
isbn = {0-8186-2130-3},
}