It’s the same thing (again)
DPLL is just depth first search + unit propagation
We’ve now got three presentations of the same thing
search trees
algorithm based on lists
DPLL
Shows the general importance of depth first search
Previous slide
Next slide
Back to first slide
View graphic version