18 and 25 Feb 2004
CS 3243 - Logical Agents
63
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