A Generic Bet-and-Run Strategy for Speeding Up Stochastic Local Search.
NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover