学习子句删除启发式策略论文

基于CDCL求解SAT问题的启发式策略研究
论文摘要在逻辑问题中,布尔可满足性问题(即SAT问题)一直广受人们的关注。SAT问题是确定以合取范式(CNF)的形式给出的命题逻辑公式是否具有对其变量的一组布尔真值赋值,使得该...