Formal models of heavy-tailed behavior in combinatorial search (2001)

by H Chen, C Gomes, B Selman
Venue:in Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming, ser. Lecture Notes in Computer Science