基于趋势强度的SAT问题学习子句评估算法 (Learnt Clause Evaluation Algorithm of SAT Problem Based on Trend Strength).
Qingshan ChenYang XuGuanfeng WuPublished in: 计算机科学 (2018)
Keyphrases
- search space
- sat problem
- linear programming
- cnf formula
- learning algorithm
- randomly generated
- optimal solution
- computational complexity
- np hard
- dynamic programming
- simulated annealing
- search strategy
- maximum satisfiability
- boolean satisfiability
- propositional satisfiability
- stochastic local search
- sat solvers
- phase transition
- objective function