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

Simona Cocco Rémi Monasson

Published in: CoRR (2004)

Keyphrases

average case
worst case analysis
worst case
dynamic programming
randomly generated
lower bound
stochastic local search