Improving Local Search for Random 3-SAT Using Quantitative Configuration Checking.

Chuan Luo Kaile Su Shaowei Cai

Published in: ECAI (2012)

Keyphrases

random sat instances
stochastic local search
search algorithm
search space
random sat
genetic algorithm
evolutionary algorithm
combinatorial optimization
phase transition
learning algorithm
upper bound
particle swarm optimization
satisfiability problem
search procedures
random constraint satisfaction problems