A tighter upper bound for random MAX \(2\)-SAT
scientific article; zbMATH DE number 6150238