DBLP Record 'conf/iccd/AndradeSF08'

BibTeX

@inproceedings{DBLP:conf/iccd/AndradeSF08,
  author    = {Fabr\'{\i}cio Vivas Andrade and
               Leandro Maia Silva and
               Ant{\^o}nio Ot{\'a}vio Fernandes},
  title     = {Improving SAT-based Combinational Equivalence Checking through
               circuit preprocessing},
  booktitle = {ICCD},
  year      = {2008},
  pages     = {40-45},
  ee        = {http://dx.doi.org/10.1109/ICCD.2008.4751838},
  crossref  = {DBLP:conf/iccd/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/iccd/2008,
  title     = {26th International Conference on Computer Design, ICCD 2008,
               12-15 October 2008, Lake Tahoe, CA, USA, Proceedings},
  booktitle = {ICCD},
  publisher = {IEEE},
  year      = {2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}