Double Configuration Checking in Stochastic Local Search for Satisfiability.

Chuan Luo Shaowei Cai Wei Wu Kaile Su

Published in: AAAI (2014)

Keyphrases

stochastic local search
satisfiability problem
phase transition
solving hard
sat problem
combinatorial optimisation
np complete
sat instances
random sat instances
search algorithm
randomly generated
tree search
temporal logic
constraint propagation