2010 Fiscal Year Self-evaluation Report
Study of SAT-based constraint optimization problem solving and its parallel distributed processing
| Project/Area Number |
20240003
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (A)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Software
|
|---|
| Research Institution | Kobe University |
|---|
Principal Investigator |
TAMURA Naoyuki Kobe University, 情報基盤センター, 教授 (60207248)
|
|---|
| Project Period (FY) |
2008 – 2011
|
| Keywords | SAT / 制約最適化問題 / 並列処理・分散処理 |
|---|
| Research Abstract |
(1)制約最適化問題と制約充足問題(以下まとめてCSPと呼ぶ),SAT変換に基づく並列SATソルバーによる解法に着目し,実用的規模の問題を高速に解くための手法の研究,実証ソフトウェアの開発,および評価を目的とした
(2)既存SAT技術のCSPへの適用について,適用分野の拡大,大規模な問題への対応,高速な求解の実現を研究課題とし,対応する研究グループを組織して研究を進めた
|
