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