bn:02106418n
Noun Concept
Categories: アルゴリズム, 数学に関する記事, 形式手法, 数理論理学, 自動定理証明
JA
DPLLアルゴリズム
JA
Davis-Putnam-Logemann-Lovelandアルゴリズム(DPLLアルゴリズム、英: Davis-Putnam-Logemann-Loveland algorithm)とは、数理論理学および計算機科学において、論理式の充足可能性を調べるアルゴリズムである。 Wikipedia
Definitions
Relations
Sources
JA
Davis-Putnam-Logemann-Lovelandアルゴリズム(DPLLアルゴリズム、英: Davis-Putnam-Logemann-Loveland algorithm)とは、数理論理学および計算機科学において、論理式の充足可能性を調べるアルゴリズムである。 Wikipedia