Dynamic restart policies (2002)

by H Kautz, E Horvitz, Y Ruan, C Gomes, B Selman
Venue:In Proc. of the 18th National Conf. on AI, 674–681. AAAI