JingZTZZ07'

BibTeX

@article{DBLP:journals/chinaf/JingZTZZ07,
  author    = {Ming-e Jing and
               Dian Zhou and
               PuShan Tang and
               XiaoFang Zhou and
               Hua Zhang},
  title     = {Solving SAT problem by heuristic polarity decision-making
               algorithm},
  journal   = {Science in China Series F: Information Sciences},
  volume    = {50},
  number    = {6},
  year      = {2007},
  pages     = {915-925},
  ee        = {http://dx.doi.org/10.1007/s11432-007-0070-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}