Local search algorithms for SAT: an empirical evaluation
scientific article; zbMATH DE number 1515407