Sign in
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