4.SAT DPLL.pdf