| 关于 « 6. 公式可满足性 :: 目录 :: 8. SAT 到 3-SAT 的归约 »

7. 3-CNF 可满足性¶

7.1. 3-CNF 可满足性（3-SAT）¶

Proficient

Saving...

Error Saving

Server Error
Resubmit

自己动手尝试一个 3-SAT 问题的实例。

隐私 | | 许可协议 « 6. 公式可满足性 :: 目录 :: 8. SAT 到 3-SAT 的归约 »