神戸大学附属図書館デジタルアーカイブ
入力補助
English
カテゴリ
学内刊行物
ランキング
アクセスランキング
ダウンロードランキング
https://hdl.handle.net/20.500.14094/90002957
このアイテムのアクセス数:
7
件
(
2024-05-04
16:12 集計
)
閲覧可能ファイル
ファイル
フォーマット
サイズ
閲覧回数
説明
90002957 (fulltext)
pdf
575 KB
10
メタデータ
ファイル出力
メタデータID
90002957
アクセス権
open access
出版タイプ
Version of Record
タイトル
値変更コスト付き動的SATの定式化とその解法
その他のタイトル
Dynamic SAT with Decision Change Costs: Formalization and Solutions
著者
著者名
波多野, 大督
Hatano, Daisuke,
ハタノ, ダイスケ
著者ID
A1590
研究者ID
1000000273813
KUID
https://kuid-rm-web.ofc.kobe-u.ac.jp/search/detail?systemId=0feb794542a836a9520e17560c007669
著者名
平山, 勝敏
Hirayama, Katsutoshi
ヒラヤマ, カツトシ
所属機関名
海事科学研究科
収録物名
人工知能学会論文誌
巻(号)
26(6)
ページ
682-691
出版者
一般社団法人 人工知能学会
刊行日
2011
公開日
2015-11-24
カテゴリ
海事科学研究科
学術雑誌論文
詳細を表示
資源タイプ
journal article
言語
Japanese (日本語)
ISSN
1346-0714
OPACで所蔵を検索
CiNiiで学外所蔵を検索
eISSN
1346-8030
OPACで所蔵を検索
CiNiiで学外所蔵を検索
関連情報
DOI
https://doi.org/10.1527/tjsai.26.682
NAID
130001495965
CiNiiで表示
ホームへ戻る