子句长度相关论文
CDCL(Conflict Derive Clause Learning)算法是解决布尔可满足性问题(Satisfiability Problem,SAT)的一种完备算法,CDCL算法求解过......
针对目前大部分可满足性(SAT)问题算法中变量选择问题,提出一种基于短子句的分支策略。这个新思想的主要方法是:首先,赋予每个变量......
研究SAT问题不仅具有重要的理论意义,而且具有实际应用价值。设计高效的SAT问题的算法是国内外研究的热点。而分支策略是影响求解......
