一种基于搜索路径识别的CDCL命题逻辑求解器延迟重启算法 (Path Identification Based Delaying Restart Algorithm for CDCL SAT Solver).
Qingshan ChenYang XuGuanfeng WuXingxing HePublished in: 计算机科学 (2017)
Keyphrases
- sat solvers
- propositional satisfiability
- search space
- orders of magnitude
- max sat
- constraint satisfaction
- search strategies
- sat solving
- sat encodings
- dynamic programming
- boolean satisfiability
- sat instances
- sat problem
- search tree
- optimal solution
- computational complexity
- search strategy
- simulated annealing
- np hard
- objective function
- randomly generated
- heuristic search
- np complete
- graph coloring
- clause learning
- davis putnam