LDCR策略相关硕士博士期刊学术论文 - 搜论网

LDCR策略相关论文

基于CDCL求解SAT问题的启发式策略研究

在逻辑问题中,布尔可满足性问题(即SAT问题)一直广受人们的关注。SAT问题是确定以合取范式(CNF)的形式给出的命题逻辑公式是否具有......

学位

SAT问题 CDCL算法分支启发式策略学习子句删除启发式策略 DRB算法 LDCR策略 CDCL SAT求解器

看过本文同时还关注