Phase transitions and complexity in computer science: An overview of the statistical physics approach to the random satisfiability problem
scientific article; zbMATH DE number 1736946