Engineering Stochastic Local Search for the Low Autocorrelation Binary Sequence Problem.

Steven Halim Roland H. C. Yap Felix Halim

Published in: CP (2008)

Keyphrases

stochastic local search
satisfiability problem
phase transition
solving hard
combinatorial optimisation
max sat
sat problem
computationally hard problems
random sat instances
model checking
constraint satisfaction
tree search