Davis–Putnam–Logemann–Loveland (DPLL) algorithm implementation