Improving WalkSAT for Random k-Satisfiability Problem with k > 3.

Shaowei Cai, Kaile Su, Chuan Luo

Browse the full AAAI paper archive.