17 Mar 2005
CS 3243 - Logical Inference
4
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