P. W. Chandana Prasad, Ali Assi, Mohamed Raseen. BDD Minimization Using Graph Parameter Permutation. In Hamid R. Arabnia, Minyi Guo, Laurence Tianruo Yang, editors, Proceedings of the International Conference on Embedded Systems and Applications, ESA 04 & Proceedings of the International Conference on VLSI, VLSI 04, June 21-24, 2004, Las Vegas, Nevada, USA. pages 491-496, CSREA Press, 2004.
@inproceedings{PrasadAR04,
title = {BDD Minimization Using Graph Parameter Permutation},
author = {P. W. Chandana Prasad and Ali Assi and Mohamed Raseen},
year = {2004},
tags = {graph-rewriting, rewriting},
researchr = {https://researchr.org/publication/PrasadAR04},
cites = {0},
citedby = {0},
pages = {491-496},
booktitle = {Proceedings of the International Conference on Embedded Systems and Applications, ESA 04 & Proceedings of the International Conference on VLSI, VLSI 04, June 21-24, 2004, Las Vegas, Nevada, USA},
editor = {Hamid R. Arabnia and Minyi Guo and Laurence Tianruo Yang},
publisher = {CSREA Press},
isbn = {1-932415-41-6},
}