ベンチマークインスタンスの協調的管理とそれらの属性【JST・京大機械翻訳】

Iser Markus; Springer Luca; Sinz Carsten

プレプリント

J-GLOBAL ID：202202208130512890 整理番号：21P0047507

ベンチマークインスタンスの協調的管理とそれらの属性【JST・京大機械翻訳】

Collaborative Management of Benchmark Instances and their Attributes

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

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

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

実験評価はアルゴリズムの設計プロセスにおける不可欠な部分である。公的に利用可能なベンチマークインスタンスはSAT解決における方法を評価するために広く用いられている。結果の解釈とアルゴリズムポートフォリオの設計のために,それらの属性は重要である。ベンチマークインスタンスとそれらの属性の相互関係を捉えることは,ベンチマークインスタンス識別子の仕様を通してかなり単純化される。このように,著者らのツールは,それらの属性によってベンチマークインスタンスを管理して,検索する手段を提供することによって,両方のアベイラビリティを増加して,その逆も同様である。これと同様に,SAT実験と結果の交換の設計と解析を容易にする。【JST・京大機械翻訳】

, , , ,
, , , 【Automatic Indexing@JST】

人工知能

, , ,

前のページに戻る