Modelling the dynamics of stochastic local search on \(k\)-SAT
scientific article; zbMATH DE number 5291488