04:14duration 4 minutes 14 seconds
CL - 9d - DPLL III
We introduce the idea of using a divide and conquer algorithm.