SAT_讯易软件-源码之巅峰

源码之巅峰

当前位置：> TAG标签 > SAT

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

编程语言：其他大小：金币：上传人：rtesd 发布日期：2023-09-14

.基于 DPLL 的完备性 SAT 算法研究（1）预处理：将公式转换为对应的CNF（2）加速搜索的一些启发式策略： BCP（Boolean Constraint Propagation，布尔约束传播）、变量决策策略、冲突分析、子句
解决SAT问题的JAVA代码 0

编程语言：Java 大小：金币：上传人：97804a 发布日期：2021-05-28

解决SAT问题的JAVA代码，判断输入的范式是否存在可满足性。

2条

热门下载