| 2007 | ||
|---|---|---|
| 1 | EE | Ming-e Jing, Dian Zhou, PuShan Tang, XiaoFang Zhou, Hua Zhang: Solving SAT problem by heuristic polarity decision-making algorithm. Science in China Series F: Information Sciences 50(6): 915-925 (2007) |
| 1 | Ming-e Jing | [1] |
| 2 | PuShan Tang | [1] |
| 3 | Hua Zhang | [1] |
| 4 | Dian Zhou | [1] |