神戸大学附属図書館デジタルアーカイブ
https://hdl.handle.net/20.500.14094/90002836

このアイテムのアクセス数:198件（2025-06-17 14:42 集計）

閲覧可能ファイル 

ファイル フォーマット サイズ 閲覧回数 説明
90002836 (fulltext) pdf 629 KB 30

メタデータ

ファイル出力

メタデータID
90002836
アクセス権
open access
出版タイプ
Version of Record
タイトル
パッキング配列問題の制約モデリングとSAT符号化
その他のタイトル
Constraint Modeling and SAT Encoding of the Packing Array Problem
著者
則武, 治樹 ; 番原, 睦則 ; 宋, 剛秀 ; 田村, 直之 ; 井上, 克巳
著者名
則武, 治樹
Noritake, Haruki
ノリタケ, ハルキ
著者ID
A1730
研究者ID
1000080290774
著者名
番原, 睦則
Banbara, Mutsunori
バンバラ, ムツノリ
所属機関名
情報基盤センター
著者ID
A0011
研究者ID
1000000625121
KUID
https://kuid-rm-web.ofc.kobe-u.ac.jp/search/detail?systemId=be19a5fd36bdbe87520e17560c007669
著者名
宋, 剛秀
Soh, Takehide
ソウ, タケヒデ
所属機関名
情報基盤センター
著者ID
A0899
研究者ID
1000060207248
KUID
https://kuid-rm-web.ofc.kobe-u.ac.jp/search/detail?systemId=64672be7ad29e33a520e17560c007669
著者名
田村, 直之
Tamura, Naoyuki
タムラ, ナオユキ
所属機関名
情報基盤センター
著者名
井上, 克巳
Inoue, Katsumi
イノウエ, カツミ
言語
Japanese (日本語)
収録物名
コンピュータソフトウェア
巻(号)
31(1)
ページ
116-130
出版者
日本ソフトウェア科学会
刊行日
2014
公開日
2015-08-27
カテゴリ
情報基盤センター
学術雑誌論文
権利
ここに掲載した著作物の利用に関する注意 本著作物の著作権は日本ソフトウェア科学会に帰属します．本著作物は著作権者である日本ソフトウェア科学会の許可のもとに掲載するものです．ご利用に当たっては「著作権法」に従うことをお願いいたします．
Notice for the use of this material: The copyright of this material is retained by the Japan Society for Software Science and Technology(JSSST). This material is published on this web site with the agreement of the JSSST. Please comply with Copyright Law of Japan if any users wish to reproduce, make derivative work, distribute or make available to the public any part or whole thereof.
関連情報
DOI
https://doi.org/10.11309/jssst.31.1_116
NAID
130004549327　CiNiiで表示