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

Open in new window