基于DPLL的SAT算法的研究及应用

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