Skip to content

A Polynomial Time Algorithm for 3-SAT

Sergey Gubin

cs.CCarXiv:cs/0701023

Abstract

Article describes a class of efficient algorithms for 3SAT and their generalizations on SAT.

Create a lesson