Cai, S., Su, K. and Luo, C. (2013) “Improving WalkSAT for Random k-Satisfiability Problem with k > 3”, Proceedings of the AAAI Conference on Artificial Intelligence, 27(1), pp. 145-151. doi: 10.1609/aaai.v27i1.8554.