nTo date: success with simple fixed policy:
n Restart search if run-time is greater
than x
nOrders of magnitude speedup
Time to Solution
Time expended before restart
100-1000x
Decisom Model for Dynamic Restart
Policies
Gomes, et al.
1997
Eric Horvitz, April 5, 2003