4.2 3-SAT问题和Cook-Levin定理

• 书名：算法详解（卷4）：NP-Hard问题算法
• 作者名：(美)蒂姆·拉夫加登
• 本章字数：1125字
• 更新时间：2024-12-13 11:16:33