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

【文件属性】：
文件名称：基于DPLL的SAT算法的研究及应用
文件大小：2.84MB
文件格式：PDF
更新时间：2021-01-09 10:05:25
.基于 DPLL 的完备性 SAT 算法研究 （1）预处理：将公式转换为对应的CNF （2）加速搜索的一些启发式策略： BCP（Boolean Constraint Propagation，布尔约束传播）、变量决策策略、冲突分析、子句学习、回溯机制 （3）子句删除机制 （4）随机重启动机制