Characterization of a New Restart Strategy for Randomized Backtrack Search