From Haoran Peng
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.