Carla P. Gomes Bart Selman Nuno Crato Heavy-Tailed Distributions in Combinatorial Search. 121-135 1997 conf/cp/1997 CP db/conf/cp/cp97.html#GomesSC97