子句长度相关论文
CDCL(Conflict Derive Clause Learning)算法是解决布尔可满足性问题(Satisfiability Problem,SAT)的一种完备算法,CDCL算法求解过......
研究SAT问题不仅具有重要的理论意义,而且具有实际应用价值。设计高效的SAT问题的算法是国内外研究的热点。而分支策略是影响求解......
