Feed Search Library Collections

Reducing SAT to 2-SAT

Abstract

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

0

Discussion (0)

Sign in to join the discussion.

Loading comments…

arXiv:0704.0108

Published April 1, 2007

Authors

SGSergey Gubin

Comment: 8 pages

Latest Papers Trending Top Today Top This Week AI Papers Machine Learning Computer Vision NLP Statistics ML Optimization

ArcXiv is an independent project and is not affiliated with arXiv or Cornell University. Metadata-only — PDFs link to arXiv.arxiv.org