DPLL

A classic backtracking algorithm for solving the SAT problem, based on branching and unit propagation operations.