这里放一些我学习 SAT 求解器的文章，应该会是卡片式的，阅读的书籍为： TAOCP 4B Handbook of Satisfiability Handbook of Parallel Constraint Reasoning 以及各种论文还有最经典的 CDCL 求解器