Local Restarts.

Vadim Ryvchin Ofer Strichman

Published in: SAT (2008)

Keyphrases

random walk
search problems
search engine
backtracking search
data structure
np hard
dynamic programming
nearest neighbor