A New Lower Bound of Critical Function for (k, s)-SAT.

Ping Gong, Daoyun Xu

Browse the full TAMC paper archive.