Hantao Zhang: A Randomization Strategy for Combinatorial Search. AI&M 2002