Weak lumpability in the \(k\)-SAT problem
scientific article; zbMATH DE number 1531207