%0 Journal Article %1 journals/tcad/HongBBM00 %A Hong, Youpyo %A Beerel, Peter A. %A Burch, Jerry R. %A McMillan, Kenneth L. %D 2000 %J IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. %K dblp %N 1 %P 44-55 %T Sibling-substitution-based BDD minimization using don't cares. %U http://dblp.uni-trier.de/db/journals/tcad/tcad19.html#HongBBM00 %V 19

@article{journals/tcad/HongBBM00, added-at = {2020-09-24T00:00:00.000+0200}, author = {Hong, Youpyo and Beerel, Peter A. and Burch, Jerry R. and McMillan, Kenneth L.}, biburl = {https://www.bibsonomy.org/bibtex/2b8913dffedd64a90a727d16017bcf6d8/dblp}, ee = {https://doi.org/10.1109/43.822619}, interhash = {8211a3737659e553682ec3161bf3a1a7}, intrahash = {b8913dffedd64a90a727d16017bcf6d8}, journal = {IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.}, keywords = {dblp}, number = 1, pages = {44-55}, timestamp = {2020-09-25T11:46:50.000+0200}, title = {Sibling-substitution-based BDD minimization using don't cares.}, url = {http://dblp.uni-trier.de/db/journals/tcad/tcad19.html#HongBBM00}, volume = 19, year = 2000 }