这里放一些我学习 SAT 求解器的文章，应该会是卡片式的，阅读的书籍为： TAOCP 4B Handbook of Satisfiability Handbook of Parallel Constraint Reasoning 以及各种论文还有比较有代表性的的 CDCL 求解器 在 SAT 问题中有需要专业名词（膨胀出来的），对于这些专业名词，我们会在文章中进行解释，不做统一的名词表 SAT 问题基本定义 SAT 问题简介 SAT 的应用和变形 精确算法 DPLL CDCL 分支启发式策略 VSIDS 分支启发式 VMTF 相位以及如何选择相位 其他拓展 SMT 基本定义