XCSP3-コア:制約充足/最適化問題を表現するためのフォーマット【JST・京大機械翻訳】

Boussemart Frederic; Lecoutre Christophe; Audemard Gilles; Piette Cedric

プレプリント

J-GLOBAL ID：202202212343813718 整理番号：21P0046695

XCSP3-コア:制約充足/最適化問題を表現するためのフォーマット【JST・京大機械翻訳】

XCSP3-core: A Format for Representing Constraint Satisfaction/Optimization Problems

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

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

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

この文書では,制約充足/最適化問題を表現することを可能にするXCSP3の部分集合であるXCSP3コアを導入した。XCSP3-コアの関心は多重である。(i)最もポピュラーなフレームワーク(CSPとCOP)と制約に焦点を当て,(ii)JavaとC++で書かれた専用のXCSP3コアパーザ(呼び出し関数を用いて),(iii),制約ソルバの比較(計算)のためのコアフォーマットを定義することにより,構文解析プロセスを容易にする。【JST・京大機械翻訳】

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

人工知能 , 数値計算 , その他のオペレーションズリサーチの手法

, , , ,

前のページに戻る