主页研究&学习笔记学习笔记SAT 求解器SAT 求解器Mar 19, 2025Nov 11, 20261 min read研究/SAT这里放一些我学习 SAT 求解器的文章，应该会是卡片式的，阅读的书籍为： TAOCP 4B Handbook of Satisfiability Handbook of Parallel Constraint Reasoning 以及各种论文还有比较有代表性的 CDCL 求解器 在 SAT 问题中有需要专业名词（膨胀出来的），对于这些专业名词，我们会在文章中进行解释，不做统一的名词表 SAT 问题基本定义# SAT 问题简介 SAT 的应用和变形 完备算法# DPLL# CDCL# 分支启发式策略 VSIDS 分支启发式 VMTF 相位以及如何选择相位 非完备算法# 非完备算法主流的其实是 局部搜索 算法 其他拓展# SMT 基本定义 ← 返回SAT 求解器
讨论
想法、补充，或只是打个招呼。