Boolean satisfiability problem
今日でも、DPLLアルゴリズムは命題論理式の充足可能性問題を解くための主要なアルゴリズムの1つとして、多くの定理証明システムで使用されている。