Davis–Putnam–Logemann–Loveland algorithm

Redirect to:

  • DPLL algorithm