文件名称：HW:DPLL_SAT求解器
文件大小：7KB
文件格式：ZIP
更新时间：2024-04-05 10:18:45
C
硬件 DPLL_SAT求解器 基于DPLL算法的SAT问题解法程序 建设中 2021/3/10修改了部分DPLL算法的核心内容，并加入了计时功能 2021/3/11加入真值表的打印功能，拟增加冲突子句的记录功能，即学习函数拟加强MOM策略，改进变元的选择策略 2021/3/12拟增加数独部分
【文件预览】：
HW-main
----cnf_FILE(4KB)
----head.h(890B)
----MAIN(4KB)
----README.md(424B)
----DPLL(4KB)
----Binary_Sudo(8KB)