Regular random \(k\)-SAT: Properties of balanced formulas
scientific article; zbMATH DE number 5118128