25 February 2004
CS 3243 - Logical Agents (part 2)
29
Efficient
propositional inference
Two families of efficient algorithms for propositional inference:
Complete backtracking search algorithms
nDPLL
algorithm (Davis, Putnam, Logemann, Loveland)
nIncomplete
local search algorithms
nWalkSAT algorithm