DPLL
Backlinks
Conflict-Driven Clause Learning