Reducing SAT to 2-SAT

Sergey Gubin

Sergey Gubin update to 2007-05-23

https://arxiv.org/abs/0704.0108
Description of a polynomial time reduction of SAT to 2-SAT of polynomialsize.

journal: None

category: cs.CC

将 SAT 减少到 2-SAT

Sergey Gubin

Sergey Gubin update to 2007-05-23

https://arxiv.org/abs/0704.0108
将 SAT 的多项式时间减少到多项式大小的 2-SAT 的描述。

期刊参考: None

category: cs.CC