Davis–Putnam–Logemann–Loveland (DPLL) and Two Finger Method algorithms in Java.