Symbiosis of Search and Heuristics for Random 3-SAT.

Sid Mijnders Boris de Wilde Marijn Heule

Published in: CoRR (2014)

Keyphrases

search algorithm
search strategies
search space
search methods
search strategy
stochastic local search
pattern databases
dynamic programming
state space
information retrieval systems
linear programming
phase transition
planning graph