Tad Hogg Refining the Phase Transition in Combinatorial Search. 127-154 1996 81 Artif. Intell. 1-2 db/journals/ai/ai81.html#Hogg96 http://dx.doi.org/10.1016/0004-3702(95)00050-X