The phase transition in random regular exact (3 s + s , k)-SAT problem. - Tang, Ao; Wang, Xiaofeng; Peng, Qingyuan; Wang, Junxia; Yang, Yi; He, Fei; Hua, Yingying (Journal of Intelligent & Fuzzy Systems, 2025)