25 February 2004
CS 3243 - Logical Agents (part 2)
31
The DPLL algorithm
