A Hybrid Learnt Clause Evaluation Algorithm for SAT Problem.

Guanfeng Wu Qingshan Chen Yang Xu Xingxing He

Published in: Int. J. Comput. Intell. Syst. (2018)

Keyphrases

learning algorithm
search space
special case
particle swarm optimization
randomly generated
data structure
dynamic programming
simulated annealing
linear programming
combinatorial optimization
sat problem
stochastic local search