2007 Fiscal Year Final Research Report Summary
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
|
| 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.
|
Research Products
(18 results)
-
-
-
-
-
-
-
-
-
-
[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
「研究成果報告書概要(欧文)」より
-
-
-
-
-
-
-
-
