Handbook of SAT_3_完备算法

本章主要介绍了三类完备的SAT求解算法，分别是存在量化、逻辑推理和系统搜索。并简单介绍了目前主流求解器使用的搜索与推理结合的算法，介绍了DPLL和DPLL+两个具体算法。