.基于DPLL的完备性SAT算法研究(1)预处理:将公式转换为对应的CNF(2)加速搜索的一些启发式策略:BCP(BooleanConstraintPropagation,布尔约束传播)、变量决策策略、冲突分析、子句学习、回溯机制(3)子句删除机制(4)随机重启动机制