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] |