You are currently offline. Some features of the site may not work correctly.

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}
}

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