TY  - RPRT
TI  - 3-SAT Polynomial Solution of Knowledge Recognition Algorithm
AU  - Xiaowen Han
AU  - David Zhu
AU  - Cuifeng Zhou
PY  - 2010
UR  - https://arxiv.org/abs/1009.3687
ID  - 1009.3687
ER  -