25 February 2004
CS 3243 - Logical Agents (part 2)
33
The
WalkSAT
algorithm
Let’s ask ourselves: Why is it
incomplete
?
