(部分加重)MaxSAT証明システムのより良い理解に向けて【JST・京大機械翻訳】

Larrosa Javier; Rollon Emma

プレプリント

J-GLOBAL ID：202202209397800424 整理番号：21P0026023

(部分加重)MaxSAT証明システムのより良い理解に向けて【JST・京大機械翻訳】

Towards a Better Understanding of (Partial Weighted) MaxSAT Proof Systems

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (2件)： ,
資料名：
発行年： 2020年03月05日プレプリントサーバーでの情報更新日： 2021年07月13日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

よく知られたSAT問題の最適化バージョンであるMaxSATは,過去10年間,多くの研究の関心を引いている。現代のSATソルバの成功に触発された多くの重要なアプリケーションによって動機づけられて,研究者は,多くのMaxSATソルバを開発した。ほとんどの研究はアルゴリズム的であるので,その重要性は経験的に評価される。本論文では,Proof Complexityのより形式的観点からMaxSATを扱うことを望んだ。その目的は,基本的な定義を提供し,いくつかの基本的結果を証明することである。次に,著者らは,MaxSAT分解能に分割と仮想,2つのオリジナル推論規則を加える影響を分析した。著者らは,各追加が,円形証明の最近提案された概念を捉える仮想ルールにより,結果としての証明システムをより強くすることを示した。【JST・京大機械翻訳】

, , ,
, , 【Automatic Indexing@JST】

人工知能 , 論理代数

, ,

前のページに戻る