Research and Development on Constraint Answer Set Programming Using SAT Encoding
| Project/Area Number |
15K00099
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Multi-year Fund |
|---|
| Section | 一般 |
|---|
| Research Field |
Software
|
|---|
| Research Institution | Kobe University |
|---|
Principal Investigator |
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
田村 直之 神戸大学, 情報基盤センター, 教授 (60207248)
宋 剛秀 神戸大学, 情報基盤センター, 助教 (00625121)
|
|---|
| Co-Investigator(Renkei-kenkyūsha) |
INOUE Katsumi 国立情報学研究所, 情報学プリンシプル研究系, 教授 (10252321)
|
|---|
| Project Period (FY) |
2015-04-01 – 2018-03-31
|
| Project Status |
Completed (Fiscal Year 2017)
|
| Budget Amount *help |
¥4,550,000 (Direct Cost: ¥3,500,000、Indirect Cost: ¥1,050,000)
Fiscal Year 2017: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2016: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Fiscal Year 2015: ¥1,950,000 (Direct Cost: ¥1,500,000、Indirect Cost: ¥450,000)
|
|---|
| Keywords | 解集合プログラミング / 制約プログラミング / SAT技術 / SAT |
|---|
| Outline of Final Research Achievements |
We focused research and development on Constraint Answer Set Programming (CASP), an integration of Answer Set Programming (ASP) and Constraint Programming (CP). CASP allows for direct representation of Constraint Satisfaction Problems (CSPs) over finite domains of Integers. We have developed two CASP solvers. One is based on a translation-based approach where a CSP is fully translated into ASP and then solved by an ASP solver. Another is based on a lazy approach where an ASP solver is augmented with dedicated propagators for CSPs. We established the competitiveness of our approach by empirically contrasting our solvers and other different CASP/CP solvers.
|
Report
(4 results)
Research Products
(53 results)
-
-
-
-
-
-
-
-
-
[Journal Article] Clingcon: The Next Generation2017
Author(s)
Mutsunori Banbara, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub
-
Journal Title
Theory and Practice of Logic Programming
Volume: 17(4)
Issue: 4
Pages: 408-461
DOI
Related Report
Peer Reviewed / Int'l Joint Research
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
[Presentation] SAT ソルバーの進歩2017
Author(s)
番原睦則
Organizer
2017年電子情報通信学会総合大会
Place of Presentation
名城大学 (愛知県・名古屋市)
Year and Date
2017-03-22
Related Report
Invited
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
