Return to Issue Details New Lower Bound of Critical Function for (k, s)-SAT Download Download PDF