English Dictionary

Davis-Putnam algorithm

固有名詞

(logic) An algorithm for checking the validity of a first-order logic formula using a resolution-based decision procedure for propositional logic.

日本語の意味

命題論理の解像度に基づく決定手続法を用い、第一階述論理の式の妥当性を検証するアルゴリズム

The graduate student used the Davis-Putnam algorithm to test the validity of several first-order formulas by reducing them to propositional form and applying resolution.

その大学院生は、複数の一階述語論理式を命題論理に還元した後、それらの妥当性を検証するためにデイヴィス＝プットナム法を用いた。

意味（1）

(logic) An algorithm for checking the validity of a first-order logic formula using a resolution-based decision procedure for propositional logic.

the Davis-Putnam algorithm （ canonical ）