The parameterized complexity of \(k\)-flip local search for SAT and MAX SAT
scientific article; zbMATH DE number 6094039