Reducing SAT to 2-SAT

Abstract

Description of a polynomial time reduction of SAT to 2-SAT of polynomial size.

8 pages

References in corpus (3)

• A Polynomial Time Algorithm for The Traveling Salesman Problem
• Polynomial time algorithm for 3-SAT. Examples of use
• A Polynomial Time Algorithm for 3-SAT