インタリービング探索の複雑さのスケジューリング【JST・京大機械翻訳】

Rozplokhas Dmitry; Boulytchev Dmitry

プレプリント

J-GLOBAL ID：202202205382598909 整理番号：22P0291123

インタリービング探索の複雑さのスケジューリング【JST・京大機械翻訳】

Scheduling Complexity of Interleaving Search

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

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

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

ミニKanrenは論理と関係プログラミングのための軽量組込み言語である。その有用な特徴の多くは,インタリービング探索と呼ばれる特有の探索戦略から来る。しかし,論理的プログラムの複雑性と性能に関する推論のインタリービング探索は,無関係になる。重要な鍵成分,すなわち,ミニKanrenの推論を様々なものにし,半自動技術を提示し,合理的に広いクラスのプログラムのための記号的実行によるスケジューリング影響を推定した。【JST・京大機械翻訳】

, , , ,
, 【Automatic Indexing@JST】

計算機システム開発

, , ,

前のページに戻る