CL - 8e - DPLL I
From Haoran Peng on November 2nd, 2020
This video introduces the key idea behind the DLPP algorithm. If we decide to make some literal true, we may reduce the problem to a simpler problem. We will build our DPLL algorithm by using this idea.
Use a tiny example to introduce the idea.