%0 Conference Paper %1 conf/dac/ButlerRKM91 %A Butler, Kenneth M. %A Ross, Don E. %A Kapur, Rohit %A Mercer, M. Ray %B DAC %D 1991 %E Newton, A. Richard %I ACM %K dblp %P 417-420 %T Heuristics to Compute Variable Orderings for Efficient Manipulation of Ordered Binary Decision Diagrams. %U http://dblp.uni-trier.de/db/conf/dac/dac91.html#ButlerRKM91 %@ 0-89791395-7

@inproceedings{conf/dac/ButlerRKM91, added-at = {2017-03-16T00:00:00.000+0100}, author = {Butler, Kenneth M. and Ross, Don E. and Kapur, Rohit and Mercer, M. Ray}, biburl = {https://www.bibsonomy.org/bibtex/25216d9abb4931096f8ff52e4827d49d0/dblp}, booktitle = {DAC}, crossref = {conf/dac/1991}, editor = {Newton, A. Richard}, ee = {http://doi.acm.org/10.1145/127601.127705}, interhash = {c6f51d51ecbc55e15fdab58c1ce3be0b}, intrahash = {5216d9abb4931096f8ff52e4827d49d0}, isbn = {0-89791395-7}, keywords = {dblp}, pages = {417-420}, publisher = {ACM}, timestamp = {2017-03-17T11:41:05.000+0100}, title = {Heuristics to Compute Variable Orderings for Efficient Manipulation of Ordered Binary Decision Diagrams.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac91.html#ButlerRKM91}, year = 1991 }