Heavy-tailed phenomena in satisfiability and constraint satisfaction problems
scientific article; zbMATH DE number 1449094