SAT 求解器

这里放一些我学习 SAT 求解器的文章，应该会是卡片式的，阅读的书籍为：

• TAOCP 4B
• Handbook of Satisfiability
• Handbook of Parallel Constraint Reasoning

以及各种论文还有比较有代表性的的 CDCL 求解器

在 SAT 问题中有需要专业名词（膨胀出来的），对于这些专业名词，我们会在文章中进行解释，不做统一的名词表

SAT 问题基本定义#

• SAT 问题简介

• 该内容未公开或不可用

精确算法#

该内容未公开或不可用#

该内容未公开或不可用#

• 分支启发式策略

  • VSIDS 分支启发式
  • 该内容未公开或不可用

• 相位以及如何选择相位

其他拓展#

• SMT 基本定义