用于求解正则(3, 4)-SAT实例集的修正警示传播算法 (Modified Warning Propagation Algorithm for Solving Regular (3, 4)-SAT Instance Sets).
Guangwei SheDaoyun XuPublished in: 计算机科学 (2018)
Keyphrases
- learning algorithm
- gradient projection
- sat instances
- data structure
- particle swarm optimization
- dynamic programming
- linear programming
- variable ordering
- combinatorial optimization
- np hard
- search space
- computational complexity
- optimal solution
- search strategies
- sat solvers
- randomly generated
- search algorithm
- stochastic local search
- objective function