Corpus ID: 2298416

3-SAT Polynomial Solution of Knowledge Recognition Algorithm

@article{Han20103SATPS,
  title={3-SAT Polynomial Solution of Knowledge Recognition Algorithm},
  author={Xiaowen Han and David Zhu and Cuifeng Zhou},
  journal={ArXiv},
  year={2010},
  volume={abs/1009.3687}
}

Xiaowen Han, David Zhu, Cuifeng Zhou

Published 2010

Mathematics, Computer Science

ArXiv

This paper introduces a knowledge recognition algorithm (KRA) for solving the 3SAT problem in polynomial time. KRA learns member-class relations and retrieves information through deductive and reductive iterative reasoning. It applies the principle of Chinese COVA* (equivalent to a set of eight 3-variable conjunctive clauses) and eliminates the "OR" operation to solve 3-SAT problem. That is, KRA does not search the assignment directly. It recognizes the complements as rejections at each level… CONTINUE READING

View PDF on arXiv

Save to Library

Create Alert

Cite

Launch Research Feed