25 February 2004
CS 3243 - Logical Agents (part 2)
32
The WalkSAT
algorithm
nIncomplete, local search
algorithm
nEvaluation function: The
min-conflict heuristic of minimizing the
number of unsatisfied clausesnBalance between
greediness and randomness