H (2000) Heavy-tailed phenomena in satisfiability and constraint satisfaction problems (0)

by Gomes CP, B Selman, N Crato, Kautz
Venue:Journal of Automated Reasoning