| 研究課題/領域番号 |
20240003
|
|---|
| 研究種目 |
基盤研究(A)
|
| 配分区分 | 補助金 |
|---|
| 応募区分 | 一般 |
|---|
| 研究分野 |
ソフトウエア
|
|---|
| 研究機関 | 神戸大学 |
|---|
研究代表者 |
田村 直之 神戸大学, 情報基盤センター, 教授 (60207248)
|
|---|
| 研究分担者 |
番原 睦則 神戸大学, 情報基盤センター, 准教授 (80290774)
平山 勝敏 神戸大学, 海事科学研究科, 准教授 (00273813)
井上 克巳 国立情報学研究所, 情報学プリンシプル研究系, 教授 (10252321)
岩沼 宏治 山梨大学, 医学工学総合研究部, 教授 (30176557)
鍋島 英知 山梨大学, 医学工学総合研究部, 准教授 (10334848)
山本 泰生 山梨大学, 医学工学総合研究部, 助教 (30550793)
横尾 真 九州大学, システム情報科学研究院, 教授 (20380678)
長谷川 隆三 九州大学, システム情報科学研究院, 教授 (20274483)
藤田 博 九州大学, システム情報科学研究院, 准教授 (70284552)
越村 三幸 九州大学, システム情報科学研究院, 助教 (30274492)
|
|---|
| 連携研究者 |
上田 和紀 早稲田大学, 理工学術院情報理工学科, 教授 (10257206)
|
|---|
| 研究期間 (年度) |
2008 – 2011
|
| 研究課題ステータス |
完了 (2011年度)
|
| 配分額 *注記 |
47,450千円 (直接経費: 36,500千円、間接経費: 10,950千円)
2011年度: 10,920千円 (直接経費: 8,400千円、間接経費: 2,520千円)
2010年度: 10,920千円 (直接経費: 8,400千円、間接経費: 2,520千円)
2009年度: 11,960千円 (直接経費: 9,200千円、間接経費: 2,760千円)
2008年度: 13,650千円 (直接経費: 10,500千円、間接経費: 3,150千円)
|
|---|
| キーワード | SAT / 制約最適化問題 / 並列処理・分散処理 / 計算機システム |
|---|
| 研究概要 |
制約充足および最適化問題に対するSAT技術と,その並列分散実装に関する研究を進め, 105件の雑誌論文公表, 67件の学会発表を行った.また,世界をリードするソフトウェアを開発した. 2008年と2009年のCSPソルバー競技会グローバル制約部門優勝のSugar, 2011年SAT競技会応用UNSAT部門優勝のGlueMiniSat, 2010年と2011年のMax. SAT競技会部分Max. SAT応用部門優勝のQMaxSAT.
|
