デービス・パトナムのアルゴリズム（''Davis–Putnam algorithm''）は、与えられた論理式の充足可能性を調べるアルゴリズムで、連言標準形で表現された命題論理式を対象とする。アメリカ国家安全保障局の支援を受け、一階述語論理での定理自動証明のための方法として（''Martin Davis''）とヒラリー・パトナム（''Hilary Putnam''）により1958年に考案され、一般には1960年に発表された。その後の改良版であるDPLLアルゴリズム（''Davis-Putnam-Logemann-Loveland algorithm''）のベ......
デービス・パトナムのアルゴリズム（''Davis–Putnam algorithm''）は、与えられた論理式の充足可能性を調べるアルゴリズムで、連言標準形で表現された命題論理式を対象とする。アメリカ国家安全保障局の支援を受け、一階述語論理での定理自動証明のための方法として（''Martin Davis''）とヒラリー・パトナム（''Hilary Putnam''）により1958年......
