Towards a characterisation of the behaviour of stochastic local search algorithms for SAT
scientific article; zbMATH DE number 1770909