Safe BDD Minimization Using Don't Cares (bibtex)

by Youpyo Hong and Peter A. Beerel and Jerry R. Burch and Kenneth L. McMillan

Reference:

Safe BDD Minimization Using Don't Cares (Youpyo Hong and Peter A. Beerel and Jerry R. Burch and Kenneth L. McMillan), In Proceedings of the 34st Conference on Design Automation, Anaheim, California, USA, Anaheim Convention Center, June 9-13, 1997., 1997.

Bibtex Entry:

@inproceedings{DBLP:conf/dac/HongBBM97,
  author    = {Youpyo Hong and
               Peter A. Beerel and
               Jerry R. Burch and
               Kenneth L. McMillan},
  title     = {Safe {BDD} Minimization Using Don't Cares},
  booktitle = {Proceedings of the 34st Conference on Design Automation, Anaheim,
               California, USA, Anaheim Convention Center, June 9-13, 1997.},
  pages     = {208--213},
  year      = {1997},
  url       = {DAC97.pdf},
  doi       = {10.1145/266021.266068},
  timestamp = {Thu, 16 Mar 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dac/HongBBM97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}