Research on a Parallel Constraint Solver System on a Grid Computing Environment
| Project/Area Number |
17500094
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Intelligent informatics
|
|---|
| Research Institution | Kobe University |
|---|
Principal Investigator |
TAMURA Naoyuki Kobe University, Information Science and Technology Center, Professor (60207248)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
BANBARA Mutsunori Kobe University, Information Science and Technology Center, Associate Professor (80290774)
|
|---|
| Project Period (FY) |
2005 – 2007
|
| Project Status |
Completed (Fiscal Year 2007)
|
| Budget Amount *help |
¥3,770,000 (Direct Cost: ¥3,500,000、Indirect Cost: ¥270,000)
Fiscal Year 2007: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2006: ¥900,000 (Direct Cost: ¥900,000)
Fiscal Year 2005: ¥1,700,000 (Direct Cost: ¥1,700,000)
|
|---|
| Keywords | Constraint Satisfaction Problems / Grid Computing / Parallel Computing / 制約解消 / グリッド |
|---|
| Research Abstract |
The followings are the main research results of this project.
・ Research and Development of a Constraint Solver
A constraint solver named Sugar is developed. The sugar solver solves a. finite linear CSP and COP by translating it into a SAT problem using a new SAT encoding method called order encoding and then solving the translated SAT problem with a SAT solver.
・ Research and Development of a Parallel Constraint Solver
A parallel constraint solver system based on the above order encoding method is developed. The system was able to solve three undecided open-shop scheduling problems.
・ Research and Development of a User Friendly Interface of a Constraint Solver
Calc/Cream system which is a spreadsheet interface of a constraint solver is developed.
|
Report
(4 results)
Research Products
(29 results)
-
-
-
-
-
-
-
[Journal Article] Compiling finite linear CSP into SAT2006
Author(s)
N. Tamura, A. Taga, S., Kitagawa, M.M Ban-bara
-
Journal Title
Proc. of the 12th International Conference on Principles and Practice of Constraint Programming(CP 2006)
Pages: 590-603
NAID
Description
「研究成果報告書概要(欧文)」より
Related Report
-
-
-
-
-
-
-
-
[Journal Article] a constraint solving system on the Grid2005
Author(s)
M. Kawatani, M. Nakagawa, A. Shiga, S. Kita-gawa, S. Ohnishi, M. banhara, N. Tamura, i, Hecs
-
Journal Title
Proc. of the 16th International Conference on Applications of Declarative Programming anti Knowledge Management,(INAP 2005)
Pages: 191-199
Description
「研究成果報告書概要(欧文)」より
Related Report
-
-
-
-
-
-
-
-
-
-
-
-
-
-
