Towards P = NP via k-SAT: A k-SAT Algorithm Using Linear Algebra on Finite Fields

Matt Groff

The problem of P vs. NP is very serious, and solutions to the problem can help save lives. This article is an attempt at solving the problem using a computer algorithm. It is prese…