Adnan Aziz, Serdar Tasiran, Robert K. Brayton
BDD Variable Ordering for Interacting Finite State Machines
DAC, 1994.
@inproceedings{DAC-1994-AzizTB,
author = "Adnan Aziz and Serdar Tasiran and Robert K. Brayton",
booktitle = "{Proceedings of the 31st Design Automation Conference}",
doi = "10.1145/196244.196379",
isbn = "0-7803-1836-6",
pages = "283--288",
publisher = "{ACM Press}",
title = "{BDD Variable Ordering for Interacting Finite State Machines}",
year = 1994,
}