Mitchell A. Thornton, J. P. Williams, Rolf Drechsler, Nicole Drechsler
Variable Reordering for Shared Binary Decision Diagrams Using Output Probabilities
DATE, 1999.
@inproceedings{DATE-1999-ThorntonWDD,
author = "Mitchell A. Thornton and J. P. Williams and Rolf Drechsler and Nicole Drechsler",
booktitle = "{Proceedings of the Fourth Conference on Design, Automation and Test in Europe}",
doi = "10.1109/DATE.1999.761217",
isbn = "0-7695-0078-1",
pages = "758--759",
publisher = "{IEEE Computer Society}",
title = "{Variable Reordering for Shared Binary Decision Diagrams Using Output Probabilities}",
year = 1999,
}