基于DPLL的SAT算法的研究及应用 上传者：天道_思索 2019-04-28 20:25:21上传 PDF文件 2.84MB 热度 85次 .基于DPLL的完备性SAT算法研究（1）预处理：将公式转换为对应的CNF（2）加速搜索的一些启发式策略：BCP（BooleanConstraintPropagation，布尔约束传播）、变量决策策略、冲突分析、子句学习、回溯机制（3）子句删除机制（4）随机重启动机制 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 发表评论
