SAT 求解器

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

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

以及各种论文还有最经典的 CDCL 求解器

1. 可满足问题描述
2. 精确算法
   1. VSIDS 启发式