Heuristic average-case analysis of the backtrack resolution of random 3-satisfiability instances.

Simona Cocco Rémi Monasson

Published in: Theor. Comput. Sci. (2004)

Keyphrases

average case
random instances
phase transition
worst case
worst case analysis
search algorithm
lower bound
vc dimension
randomly generated
uniform distribution
image quality
stochastic local search
machine learning
upper bound
search space
decision trees
learning algorithm