Ming-e Jing Dian Zhou PuShan Tang XiaoFang Zhou Hua Zhang Solving SAT problem by heuristic polarity decision-making algorithm. 915-925 2007 50 Science in China Series F: Information Sciences 6 http://dx.doi.org/10.1007/s11432-007-0070-1 db/journals/chinaf/chinaf50.html#JingZTZZ07