paper

How to solve kSAT in polynomial time

arXiv:1203.6020

Abstract

With using of multi-nary logic analytic formulas proposition that "kSAT is in P and could be solved in " was proved