David Déharbe, Jorgiano Márcio Bruno Vidal. Optimizing BDD-Based Verification Analysing Variable Dependencies. In Proceedings of the 14th Annual Symposium on Integrated Circuits and Systems Design, SBCCI 2001, Pirenopolis, Brazil, September 10-15, 2001. pages 64-71, IEEE Computer Society, 2001. [doi]
@inproceedings{DeharbeV01,
title = {Optimizing BDD-Based Verification Analysing Variable Dependencies},
author = {David Déharbe and Jorgiano Márcio Bruno Vidal},
year = {2001},
url = {https://dl.acm.org/doi/10.5555/882483.883896},
researchr = {https://researchr.org/publication/DeharbeV01},
cites = {0},
citedby = {0},
pages = {64-71},
booktitle = {Proceedings of the 14th Annual Symposium on Integrated Circuits and Systems Design, SBCCI 2001, Pirenopolis, Brazil, September 10-15, 2001},
publisher = {IEEE Computer Society},
isbn = {0-7695-1333-6},
}