抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
よく知られたSAT問題の最適化バージョンであるMaxSATは,過去10年間,多くの研究の関心を引いている。現代のSATソルバの成功に触発された多くの重要なアプリケーションによって動機づけられて,研究者は,多くのMaxSATソルバを開発した。ほとんどの研究はアルゴリズム的であるので,その重要性は経験的に評価される。本論文では,Proof Complexityのより形式的観点からMaxSATを扱うことを望んだ。その目的は,基本的な定義を提供し,いくつかの基本的結果を証明することである。次に,著者らは,MaxSAT分解能に分割と仮想,2つのオリジナル推論規則を加える影響を分析した。著者らは,各追加が,円形証明の最近提案された概念を捉える仮想ルールにより,結果としての証明システムをより強くすることを示した。【JST・京大機械翻訳】