S. Cai, K. Su, and C. Luo, “Improving WalkSAT for Random k-Satisfiability Problem with k > 3”, AAAI, vol. 27, no. 1, pp. 145-151, Jun. 2013.