Realization of High-Performance and Flexible Constraint Programming Systems Using Propositional Inference Techniques
| 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.
|
Report
(4 results)
Research Products
(107 results)
-
-
-
-
-
[Journal Article] GlueMiniSat2.2.82014
Author(s)
Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue
-
Journal Title
Proceedings of SAT Competition 2014: Solver and Benchmark Descriptions
Volume: Vol.2, B-2014-
Pages: 35-36
Related Report
Open Access / Acknowledgement Compliant
-
-
-
-
-
[Journal Article] Discriminative MO-COP Operators2014
Author(s)
Nicolas Schwind, Tenda Okimoto, Tony Ribeiro, Sebastien Konieczny, Katsumi Inoue
-
Journal Title
International Joint Workshop on Optimisation in Multi-Agent Systems and Distributed Constraint Reasoning (OptMAS-DCR 2014)
Volume: 無し
Related Report
Peer Reviewed / Open Access
-
-
-
-
-
-
[Journal Article] Discriminative MO-COP Operators2014
Author(s)
Nicolas Schwind, Tenda Okimoto, Tony Ribeiro, Sebastien Konieczny, Katsumi Inoue
-
Journal Title
International Joint Workshop On Optimisation In Multi-Agent Systems And Distributed Constraint Reasoning (OPTMAS-DCR)
Volume: なし
Related Report
Peer Reviewed
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
[Presentation] ロバストなチーム編成問題2014
Author(s)
沖本天太, Nicolas Schwind, Maxime Clement, 井上克巳
Organizer
Joint Agent Workshop and Symposium 2014
Place of Presentation
ANA ホリデイ・イン リゾート 宮崎 (宮崎県)
Year and Date
2014-10-29
Related Report
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
[Presentation] CSPSAT Projects and their SAT Related Tools
Author(s)
Naoyuki Tamura, Takehide Soh, Mutsunori Banbara, and Katsumi Inoue
Organizer
The 16th International Conference on Theory and Applications of Satisfiability Testing (SAT 2013)
Place of Presentation
University of Helsinki, Finland
Related Report
-
-
-
-
-
-
-
-
-
-
-
