@misc{indiciae8f80e58a51a5, title = {3-SAT Polynomial Solution of Knowledge Recognition Algorithm}, author = {Xiaowen Han and David Zhu and Cuifeng Zhou}, year = {2010}, url = {https://arxiv.org/abs/1009.3687}, note = {Source identifier: 1009.3687} }