A Hybrid Search Architecture Applied to Hard Random 3-SAT and Low-Autocorrelation Binary Sequences.

Steven D. Prestwich

Published in: CP (2000)

Keyphrases

search algorithm
search strategy
search space
information retrieval systems
domain independent
stochastic local search
random sat