Compiling Finite Linear CSP into SAT

https://hdl.handle.net/20.500.14094/90000146

このアイテムのアクセス数:183件（2026-08-11 08:29 集計）

ファイル	フォーマット	サイズ	閲覧回数	説明
90000146 (fulltext)	pdf	222 KB	147

メタデータID	90000146
アクセス権	open access
出版タイプ	Accepted Manuscript
タイトル	Compiling Finite Linear CSP into SAT
著者	Tamura, Naoyuki ; Taga, Akiko ; Kitagawa, Satoshi ; Banbara, Mutsunori
著者名 Tamura, Naoyuki
著者名 Taga, Akiko
著者名 Kitagawa, Satoshi
著者ID A1730 研究者ID 1000080290774 著者名 Banbara, Mutsunori 番原, 睦則バンバラ, ムツノリ所属機関名情報基盤センター
言語	English (英語)
収録物名	Lecture Notes in Computer Science : Principles and Practice of Constraint Programming - CP 2006
巻(号)	4204
ページ	590-603
出版者	Springer
刊行日	2006-09
公開日	2006-12-26
注記	The original publication is available at www.springerlink.com.
カテゴリ	情報基盤センター
カテゴリ	学術雑誌論文
関連情報	ISBN 9783540462675　OPACで所蔵を検索　 CiNiiで学外所蔵を検索
	DOI https://doi.org/10.1007/11889205_42
	URI http://www.springerlink.com/content/978-3-540-46267-5/