| Project/Area Number |
24300007
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (B)
|
| Allocation Type | Partial Multi-year Fund |
|---|
| Section | 一般 |
|---|
| Research Field |
Software
|
|---|
| Research Institution | Kobe University |
|---|
Principal Investigator |
TAMURA Naoyuki 神戸大学, 情報基盤センター, 教授 (60207248)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
BANBARA Mutsunori 神戸大学, 情報基盤センター, 教授 (80290774)
SOH Takehide 神戸大学, 情報基盤センター, 助教 (00625121)
INOUE Katsumi 国立情報学研究所, 情報学プリンシプル研究系, 教授 (10252321)
NABESHIMA Hidetomo 山梨大学, 医学工学総合研究部, 准教授 (10334848)
|
|---|
| Co-Investigator(Renkei-kenkyūsha) |
TANJO Tomoya 情報・システム研究機構, 新領域融合研究センター, 融合プロジェクト特任研究員 (40635067)
OKIMOTO Tenda 情報・システム研究機構, 新領域融合研究センター, 融合プロジェクト特任研究員 (10632432)
|
|---|
| Project Period (FY) |
2012-04-01 – 2015-03-31
|
| Project Status |
Completed (Fiscal Year 2014)
|
| Budget Amount *help |
¥17,940,000 (Direct Cost: ¥13,800,000、Indirect Cost: ¥4,140,000)
Fiscal Year 2014: ¥5,330,000 (Direct Cost: ¥4,100,000、Indirect Cost: ¥1,230,000)
Fiscal Year 2013: ¥5,980,000 (Direct Cost: ¥4,600,000、Indirect Cost: ¥1,380,000)
Fiscal Year 2012: ¥6,630,000 (Direct Cost: ¥5,100,000、Indirect Cost: ¥1,530,000)
|
|---|
| Keywords | 制約プログラミング / 充足可能性判定問題 / 命題論理 |
|---|
| Outline of Final Research Achievements |
Constraint programming is a paradigm for realizing intelligent software systems without explicitly programming the solving algorithm of combinatorial programs. In this research project, we studied and developed high-performance and flexible constraint programming systems by using propositional inference techniques which made big performance progress in recent years. The developed systems are published through the Internet. We also applied the developed systems to various difficult problems (such as course timetabling, test case generation, packing array construction, Hamilton cycle finding, circuit wiring, and systems biology) and obtained superior results compared with previous works.
|
