SAT local search algorithms: Worst-case study
scientific article; zbMATH DE number 1449096