function WALKSAT [pseudo-code](https://github.com/aimacode/aima-pseudocode/blob/master/md/WalkSAT.md)