Youpyo Hong, Peter A. Beerel, Luciano Lavagno, Ellen Sentovich. Don t Care-Based BDD Minimization for Embedded Software. In DAC. pages 506-509, 1998. [doi]
@inproceedings{HongBLS98,
title = {Don t Care-Based BDD Minimization for Embedded Software},
author = {Youpyo Hong and Peter A. Beerel and Luciano Lavagno and Ellen Sentovich},
year = {1998},
doi = {10.1145/277044.277183},
url = {http://doi.acm.org/10.1145/277044.277183},
tags = {rule-based, embedded software},
researchr = {https://researchr.org/publication/HongBLS98},
cites = {0},
citedby = {0},
pages = {506-509},
booktitle = {DAC},
}