A Polynomial Decision for 3-SAT

08/20/2022

∙

by   Angela Weiss, et al.

∙

0

∙

share

We propose a polynomially bounded, in time and space, method to decide whether a given 3-SAT formula is satisfiable or no. The tools we use here are, in fact, very simple. We first decide satisfiability for a particular formula, called pivoted 3-SAT and, after a plain transformation, still keeping the polynomial boundaries, it is shown that formulas can be written as pivoted formulas.