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

このアイテムのアクセス数:197件（2025-07-16 17:20 集計）

閲覧可能ファイル 

ファイル フォーマット サイズ 閲覧回数 説明
90002834 (fulltext) pdf 260 KB 47

メタデータ

ファイル出力

メタデータID
90002834
アクセス権
open access
出版タイプ
Version of Record
タイトル
位取り記数法に基づく整数有限領域上の制約充足問題のコンパクトかつ効率的なSAT符号化
その他のタイトル
A Compact and Efficient SAT Encoding of Finite CSP based on a Numeral System of Integers
著者
丹生, 智也 ; 田村, 直之 ; 番原, 睦則
著者名
丹生, 智也
Tanjo, Tomoya
タンジョウ, トモヤ
著者ID
A0899
研究者ID
1000060207248
KUID
https://kuid-rm-web.ofc.kobe-u.ac.jp/search/detail?systemId=64672be7ad29e33a520e17560c007669
著者名
田村, 直之
Tamura, Naoyuki
タムラ, ナオユキ
所属機関名
情報基盤センター
著者ID
A1730
研究者ID
1000080290774
著者名
番原, 睦則
Banbara, Mutsunori
バンバラ, ムツノリ
所属機関名
情報基盤センター
言語
Japanese (日本語)
収録物名
コンピュータソフトウェア
巻(号)
30(1)
ページ
211-230
出版者
日本ソフトウェア科学会
刊行日
2013
公開日
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.30.1_211
NAID
130004549312　CiNiiで表示