Figure 2: Working of the DP algorithm on an example CNF formula.