DBLP Record 'journals/tcad/AnderssonBCH03'

BibTeX

@article{DBLP:journals/tcad/AnderssonBCH03,
  author    = {Gunnar Andersson and
               Per Bjesse and
               Byron Cook and
               Ziyad Hanna},
  title     = {Design automation with mixtures of proof strategies for
               propositional logic},
  journal   = {IEEE Trans. on CAD of Integrated Circuits and Systems},
  volume    = {22},
  number    = {8},
  year      = {2003},
  pages     = {1042-1048},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/TCAD.2003.814959},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}