arXiv Open Access 2007

Reducing SAT to 2-SAT

Sergey Gubin

Lihat Sumber

Abstrak

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

cs.CC

Sergey Gubin

APA MLA BibTeX

Gubin, S. (2007). Reducing SAT to 2-SAT. https://arxiv.org/abs/0704.0108

Lihat di Sumber

Informasi Jurnal