3-SAT Polynomial Solution of Knowledge Recognition Algorithm - Xiaowen Han; David Zhu; Cuifeng Zhou (CoRR, 2010)