Davis–Putnam–Logemann–Loveland algorithm

Redirect to:

• DPLL algorithm