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

by C Gomes, B Selman, N Crato, H Kautz
Venue:J. Automat. Reason