Kenneth M. Butler, Don E. Ross, Rohit Kapur, M. Ray Mercer
Heuristics to Compute Variable Orderings for Efficient Manipulation of Ordered Binary Decision Diagrams
DAC, 1991.
@inproceedings{DAC-1991-ButlerRKM,
author = "Kenneth M. Butler and Don E. Ross and Rohit Kapur and M. Ray Mercer",
booktitle = "{Proceedings of the 28th Design Automation Conference}",
doi = "10.1145/127601.127705",
isbn = "0-89791395-7",
pages = "417--420",
publisher = "{ACM}",
title = "{Heuristics to Compute Variable Orderings for Efficient Manipulation of Ordered Binary Decision Diagrams}",
year = 1991,
}