「デービス・パトナムのアルゴリズム」を解説文に含む見出し語の検索結果(1～10/18件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2018/08/22 13:10 UTC 版)「デービス・パトナムのアルゴリズム」の記事における「充足可能な論理式」の解説論理式 &#...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2018/08/22 13:10 UTC 版)「デービス・パトナムのアルゴリズム」の記事における「充足不能な論理式」の解説論理式 &#...
デービス・パトナムのアルゴリズム（英: Davis–Putnam algorithm）は、与えられた論理式の充足可能性を調べるアルゴリズムで、連言標準形で表現された命題論理式を対象とする。アメ...
デービス・パトナムのアルゴリズム（英: Davis–Putnam algorithm）は、与えられた論理式の充足可能性を調べるアルゴリズムで、連言標準形で表現された命題論理式を対象とする。アメ...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/05/03 07:38 UTC 版)「ヒラリー・パトナム」の記事における「数学とコンピュータ・サイエンス」の解説パトナムは自...
Davis-Putnam-Logemann-Lovelandアルゴリズム（DPLLアルゴリズム、英: Davis-Putnam-Logemann-Loveland algorithm）とは、数...
Davis-Putnam-Logemann-Lovelandアルゴリズム（DPLLアルゴリズム、英: Davis-Putnam-Logemann-Loveland algorithm）とは、数...
ナビゲーションに移動検索に移動導出原理（どうしゅつげんり、英: resolution principle）とは、ジョン・アラン・ロビンソン（英語版）により1965年に提案された[1&#...
ナビゲーションに移動検索に移動導出原理（どうしゅつげんり、英: resolution principle）とは、ジョン・アラン・ロビンソン（英語版）により1965年に提案された[1&#...
ナビゲーションに移動検索に移動導出原理（どうしゅつげんり、英: resolution principle）とは、ジョン・アラン・ロビンソン（英語版）により1965年に提案された[1&#...
< 前の結果 | 次の結果 >