Randomization in Backtrack Search: Exploiting Heavy-Tailed Profiles for Solving Hard Scheduling Problems.

Carla P. Gomes Bart Selman Ken McAloon Carol Tretkoff Randomization in Backtrack Search: Exploiting Heavy-Tailed Profiles for Solving Hard Scheduling Problems. 208-213 1998 AIPS db/conf/aips/aips1998.html#GomesSMT98