DPLL(Davis-Putnam-Logemann-Loveland)clause 相关硕士博士期刊学术论文

以学习子句数据库优化为背景,在原MiniSAT求解器的基础上提出了一种新的学习子句的优化方法.该方法基于博弈论的思想,在若干次重启......