抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
実験評価はアルゴリズムの設計プロセスにおける不可欠な部分である。公的に利用可能なベンチマークインスタンスはSAT解決における方法を評価するために広く用いられている。結果の解釈とアルゴリズムポートフォリオの設計のために,それらの属性は重要である。ベンチマークインスタンスとそれらの属性の相互関係を捉えることは,ベンチマークインスタンス識別子の仕様を通してかなり単純化される。このように,著者らのツールは,それらの属性によってベンチマークインスタンスを管理して,検索する手段を提供することによって,両方のアベイラビリティを増加して,その逆も同様である。これと同様に,SAT実験と結果の交換の設計と解析を容易にする。【JST・京大機械翻訳】