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