. (2024). New Lower Bound of Critical Function for (k, s)-SAT. Journal of Information and Computing Science. 1 (1). 03-10. doi: