Scoring functions based on second level score for \(k\)-SAT with long clauses
scientific article; zbMATH DE number 6369224