How much backtracking does it take to color random graphs? Rigorous results on heavy tails (2004)

by H Jia, C Moore
Venue:In Proc. 10th International Conference on Principles and Practice of Constraint Programming (CP ’04