On the complexity of \(k\)-SAT
scientific article; zbMATH DE number 1642222