%0 Conference Paper %1 conf/eurodac/RossBKM91 %A Ross, Don E. %A Butler, Kenneth M. %A Kapur, Rohit %A Mercer, M. Ray %B EURO-DAC %D 1991 %E Ambler, Tony %E Jess, Jochen A. G. %E Man, Hugo De %I EEE Computer Society %K dblp %P 4-10 %T Fast functional evaluation of candidate OBDD variable orderings. %U http://dblp.uni-trier.de/db/conf/eurodac/euro-dac1991.html#RossBKM91 %@ 0-8186-2130-3

@inproceedings{conf/eurodac/RossBKM91, added-at = {2015-11-17T00:00:00.000+0100}, author = {Ross, Don E. and Butler, Kenneth M. and Kapur, Rohit and Mercer, M. Ray}, biburl = {https://www.bibsonomy.org/bibtex/22f83889c686b199dbbb1938471a7889f/dblp}, booktitle = {EURO-DAC}, crossref = {conf/eurodac/1991}, editor = {Ambler, Tony and Jess, Jochen A. G. and Man, Hugo De}, ee = {http://dl.acm.org/citation.cfm?id=951515}, interhash = {ca95729161bc2243f699b68d16b3a424}, intrahash = {2f83889c686b199dbbb1938471a7889f}, isbn = {0-8186-2130-3}, keywords = {dblp}, pages = {4-10}, publisher = {EEE Computer Society}, timestamp = {2015-11-18T11:48:58.000+0100}, title = {Fast functional evaluation of candidate OBDD variable orderings.}, url = {http://dblp.uni-trier.de/db/conf/eurodac/euro-dac1991.html#RossBKM91}, year = 1991 }