Understanding SAT is in P
Computational Complexity
2016-09-19 v4
Abstract
We introduce the idea of an understanding with respect to a set of clauses as a satisfying truth assignment explained by the contexts of the literals in the clauses. Following this idea, we present a mechanical process that obtains, if it exists, an understanding with respect to a 3-SAT problem instance based on the contexts of each literal in the instance, otherwise it determines that none exists. We demonstrate that our process is correct and efficient in solving 3-SAT.
Cite
@article{arxiv.1504.00337,
title = {Understanding SAT is in P},
author = {Alejandro Sanchez Guinea},
journal= {arXiv preprint arXiv:1504.00337},
year = {2016}
}
Comments
10 pages, the paper is completely changed from previous versions while the main idea is the same, correctness and time complexity proofs are included