サットプランとは

コンピュータによる計画のプロセスはサットプランと呼ばれます。 これは、計画問題のインスタンスをブール充足可能性問題のインスタンスに変換し、DPLL アルゴリズムや WalkSAT などの充足可能性を証明する方法を介して解決します。 これにより、計画の問題をより効率的に処理できるようになります。

メリット

(I) 次のトピックに関する洞察と検証:

第 1 章: サットプラン

第 2 章: ブール充足可能性問題

第 3 章: 制約充足問題

第 4 章: 2 充足可能性

第 5 章: クック?レビンの定理

第 6 章: 関数の問題

第 7 章: DPLL アルゴリズム

第 8 章: WalkSAT

第 9 章: MAX-3SAT

第 10 章: SAT ソルバー

(II) サットプランに関する一般のよくある質問に答える。

(III) 多くの分野におけるサットプランの使用例。

(IV) サットプランのテクノロジーを 360 度完全に理解できるように、各業界の 266 の新興テクノロジーを簡潔に説明する 17 の付録。

この本の対象者

専門家、学部生、大学院生、愛好家、愛好家、あらゆる種類のサットプランに関する基本的な知識や情報を超えたい人 .