![]() |
Ask others: ACM DL/Guide -
- CSB - MetaPress - Google - Bing - Yahoo
| 1 | 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) |
Selection of 1 from 1 records - PuShan Tang has 4 coauthors
Copyright © 2010-01-06 by Michael Ley (ley@uni-trier.de)