Cai, Shaowei, Kaile Su, and Chuan Luo. “Improving WalkSAT for Random K-Satisfiability Problem With K > 3”. Proceedings of the AAAI Conference on Artificial Intelligence 27, no. 1 (June 30, 2013): 145-151. Accessed May 4, 2026. https://ojs.aaai.org/index.php/AAAI/article/view/8554.