%0 Conference Paper %1 conf/date/ThorntonWDD99 %A Thornton, Mitchell A. %A Williams, J. P. %A Drechsler, Rolf %A Drechsler, Nicole %B DATE %D 1999 %I IEEE Computer Society / ACM %K %P 758-759 %T Variable Reordering for Shared Binary Decision Diagrams Using Output Probabilities. %U http://dblp.uni-trier.de/db/conf/date/date1999.html#ThorntonWDD99 %@ 0-7695-0078-1

@inproceedings{conf/date/ThorntonWDD99, added-at = {2023-12-12T21:25:00.000+0100}, author = {Thornton, Mitchell A. and Williams, J. P. and Drechsler, Rolf and Drechsler, Nicole}, biburl = {https://www.bibsonomy.org/bibtex/241cd0335015174a84344c690bba832ea/admin}, booktitle = {DATE}, crossref = {conf/date/1999}, ee = {https://www.wikidata.org/entity/Q59243071}, interhash = {3ddcf9b9965626eef2fd58b7a7615c89}, intrahash = {41cd0335015174a84344c690bba832ea}, isbn = {0-7695-0078-1}, keywords = {}, pages = {758-759}, publisher = {IEEE Computer Society / ACM}, timestamp = {2023-12-12T21:25:00.000+0100}, title = {Variable Reordering for Shared Binary Decision Diagrams Using Output Probabilities.}, url = {http://dblp.uni-trier.de/db/conf/date/date1999.html#ThorntonWDD99}, year = 1999 }