Sibling-substitution-based BDD minimization using don't cares. Hong, Y., Beerel, P. A., Burch, J. R., & McMillan, K. L. IEEE Trans. on CAD of Integrated Circuits and Systems, 19(1):44–55, 2000. Paper doi bibtex @article{DBLP:journals/tcad/HongBBM00,
author = {Youpyo Hong and
Peter A. Beerel and
Jerry R. Burch and
Kenneth L. McMillan},
title = {Sibling-substitution-based {BDD} minimization using don't cares},
journal = {{IEEE} Trans. on {CAD} of Integrated Circuits and Systems},
volume = {19},
number = {1},
pages = {44--55},
year = {2000},
url = {https://doi.org/10.1109/43.822619},
doi = {10.1109/43.822619},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/tcad/HongBBM00},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"HGwHRfk8BXxDnHkb3","bibbaseid":"hong-beerel-burch-mcmillan-siblingsubstitutionbasedbddminimizationusingdontcares-2000","downloads":0,"creationDate":"2018-07-08T21:22:38.737Z","title":"Sibling-substitution-based BDD minimization using don't cares","author_short":["Hong, Y.","Beerel, P. A.","Burch, J. R.","McMillan, K. L."],"year":2000,"bibtype":"article","biburl":"https://dblp.org/pid/m/KennethLMcMillan.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Youpyo"],"propositions":[],"lastnames":["Hong"],"suffixes":[]},{"firstnames":["Peter","A."],"propositions":[],"lastnames":["Beerel"],"suffixes":[]},{"firstnames":["Jerry","R."],"propositions":[],"lastnames":["Burch"],"suffixes":[]},{"firstnames":["Kenneth","L."],"propositions":[],"lastnames":["McMillan"],"suffixes":[]}],"title":"Sibling-substitution-based BDD minimization using don't cares","journal":"IEEE Trans. on CAD of Integrated Circuits and Systems","volume":"19","number":"1","pages":"44–55","year":"2000","url":"https://doi.org/10.1109/43.822619","doi":"10.1109/43.822619","timestamp":"Sat, 20 May 2017 01:00:00 +0200","biburl":"https://dblp.org/rec/bib/journals/tcad/HongBBM00","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/tcad/HongBBM00,\n author = {Youpyo Hong and\n Peter A. Beerel and\n Jerry R. Burch and\n Kenneth L. McMillan},\n title = {Sibling-substitution-based {BDD} minimization using don't cares},\n journal = {{IEEE} Trans. on {CAD} of Integrated Circuits and Systems},\n volume = {19},\n number = {1},\n pages = {44--55},\n year = {2000},\n url = {https://doi.org/10.1109/43.822619},\n doi = {10.1109/43.822619},\n timestamp = {Sat, 20 May 2017 01:00:00 +0200},\n biburl = {https://dblp.org/rec/bib/journals/tcad/HongBBM00},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Hong, Y.","Beerel, P. A.","Burch, J. R.","McMillan, K. L."],"key":"DBLP:journals/tcad/HongBBM00","id":"DBLP:journals/tcad/HongBBM00","bibbaseid":"hong-beerel-burch-mcmillan-siblingsubstitutionbasedbddminimizationusingdontcares-2000","role":"author","urls":{"Paper":"https://doi.org/10.1109/43.822619"},"downloads":0,"html":""},"search_terms":["sibling","substitution","based","bdd","minimization","using","don","cares","hong","beerel","burch","mcmillan"],"keywords":[],"authorIDs":[],"dataSources":["mNLXpycJZCXeu2mHY"]}