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

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