Steven J. Friedman, Kenneth J. Supowit
Finding the Optimal Variable Ordering for Binary Decision Diagrams
DAC, 1987.
@inproceedings{DAC-1987-FriedmanS,
author = "Steven J. Friedman and Kenneth J. Supowit",
booktitle = "{Proceedings of the 24th Design Automation Conference}",
doi = "10.1145/37888.37941",
pages = "358--356",
publisher = "{IEEE Computer Society Press / ACM}",
title = "{Finding the Optimal Variable Ordering for Binary Decision Diagrams}",
year = 1987,
}