Tony Stornetta, Forrest Brewer
Implementation of an Efficient Parallel BDD Package
DAC, 1996.
@inproceedings{DAC-1996-StornettaB, author = "Tony Stornetta and Forrest Brewer", booktitle = "{Proceedings of the 33rd Design Automation Conference}", doi = "10.1145/240518.240639", isbn = "0-89791-779-0", pages = "641--644", publisher = "{ACM Press}", title = "{Implementation of an Efficient Parallel BDD Package}", year = 1996, }