The SAT-UNSAT transition for random constraint satisfaction problems
scientific article; zbMATH DE number 5566674