SAT技術の改善とその提携構造形成問題への応用

資料に関する注記

書店で探す

国立国会図書館以外の全国の図書館の所蔵状況を表示します。

所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください

その他

九州大学学術情報リポジトリ
デジタル
連携先のサイトで、学術機関リポジトリデータベース（IRDB）（機関リポジトリ）が連携している機関・データベースの所蔵状況を確認できます。
九州大学学術情報リポジトリのサイトでこの本を確認

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

資料種別: 博士論文
タイトル: SAT技術の改善とその提携構造形成問題への応用
著者・編者: 査, 澳龍
著者標目: 査, 澳龍ザ, オクリュウ
出版年月日等: 2018-09-25
出版年（W3CDTF）: 2018-09-25
並列タイトル等: Improvements of SAT Solving Techniques and Their Application to the Coalition Structure Generation Problem
寄与者: 藤田, 博
横尾, 真
趙, 建軍
授与機関名: 九州大学
授与年月日: 2018-09-25
報告番号: 17102甲第14235号
学位: 博士（情報科学）
DOCTOR OF PHILOSOPHY
本文の言語コード: eng
対象利用者: 一般
一般注記: 主1-参1
システム情報_情報知能工学
記録形式（IMT）: application/pdf
オンライン閲覧公開範囲: インターネット公開
連携機関・データベース: 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）
https://irdb.nii.ac.jp
提供元機関・データベース: 九州大学 : 九州大学学術情報リポジトリ