17 Mar 2005
CS 3243 - Logical Inference
8
The
WalkSAT
algorithm
Let’s ask ourselves: Why is it
incomplete
?
