@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}
}

{"_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"]}