Cai, S.; Su, K.; Luo, C. Improving WalkSAT for Random K-Satisfiability Problem With K > 3. AAAI 2013, 27, 145-151.