パッキング配列問題の制約モデリングとSAT符号化

国立国会図書館永続的識別子: info:ndljp/pid/11665466

資料種別: 記事

著者: 則武治樹ほか

出版者: 日本ソフトウェア科学会

出版年: 2013

資料形態: デジタル

掲載誌名: 日本ソフトウェア科学会大会講演論文集第30回

掲載ページ: -

すべて見る

国立国会図書館での利用に関する注記

本資料は、掲載誌(URI)等のリンク先にある電子書籍・電子雑誌の提供元Webサイトなどから、本文を自由に閲覧できる場合があります。

資料に関する注記

一般注記：: PPL1–1

書誌情報

この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。

デジタル

資料種別: 記事
タイトル: パッキング配列問題の制約モデリングとSAT符号化
著者・編者: 則武治樹
番原睦則
宋剛秀
出版事項: 日本 : 日本ソフトウェア科学会
出版年月日等: 2013
出版年（W3CDTF）: 2013
タイトル（掲載誌）: 日本ソフトウェア科学会大会講演論文集
巻号年月日等（掲載誌）: 第30回
掲載巻: 第30回
本文の言語コード: jpn
一般注記: PPL1–1
国立国会図書館永続的識別子: info:ndljp/pid/11665466
https://dl.ndl.go.jp/pid/11665466
コレクション（共通）: 障害者向け資料
コレクション（障害者向け資料：レベル1）: テキストデータ
コレクション（個別）: 国立国会図書館デジタルコレクション > 電子書籍・電子雑誌 > 学術機関 > 学協会
https://dl.ndl.go.jp/collections/B00043
収集根拠: オンライン資料収集制度
受理日（W3CDTF）: 2021-04-20T20:30:37+09:00
保存日（W3CDTF）: 2021-02-26
記録形式（IMT）: application/pdf
オンライン閲覧公開範囲: 国立国会図書館内限定公開
デジタル化資料送信: 図書館・個人送信対象外
遠隔複写可否（NDL）: 可
掲載誌（URI）: https://jssst.or.jp/files/user/taikai/2013/program.html
掲載誌（国立国会図書館永続的識別子）: info:ndljp/pid/11665454
https://dl.ndl.go.jp/pid/11665454
連携機関・データベース: 国立国会図書館 : 国立国会図書館デジタルコレクション
https://dl.ndl.go.jp