| Project/Area Number |
11680346
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
計算機科学
|
|---|
| Research Institution | Tokyo Institute of Technology, Department of Computer Science |
|---|
Principal Investigator |
TOKUDA Takehiro Tokyo Institute of Technology, Department of Computer Science, Prof., 大学院・情報理工学研究科, 教授 (30111644)
|
|---|
| Project Period (FY) |
1999 – 2000
|
| Project Status |
Completed (Fiscal Year 2000)
|
| Budget Amount *help |
¥3,600,000 (Direct Cost: ¥3,600,000)
Fiscal Year 2000: ¥500,000 (Direct Cost: ¥500,000)
Fiscal Year 1999: ¥3,100,000 (Direct Cost: ¥3,100,000)
|
|---|
| Keywords | Constraint Solving Algorithm / DeltaBlue / Extended DeltaBlue / DeltaUp / Hierarchical DeltaBlue / Modified Indigo |
|---|
| Research Abstract |
From 1999 to 2000 we achieved the following results of our constraint programming research.
In 1999 we developed three types of modified DeltaBlue constraint solving algorithms : Namely, Extended DeltaBlue, DeltaUp, and Hierarchical DeltaBlue. Extended DeltaBlue can safely solve an extended class of constraint problems of DeltaBlue. DeltaUp always performs the smallest number of method reselections. Hierarchical DeltaBlue can use module constraints when we deal with large scale constraint problems.
In 2000 we developed a modified Indigo constraint solving algorithm which can deal with constraint problems with circular constraints consisting of equality and inequality constraints. We designed two constraint programming environments, Constraint Tcl/Tk system based on Tcl/Tk and Constraint Pascal system based on Pascal. We also implemented Constraint Tcl/Tk system.
Thus we developed four constraint solving algorithms and one constraint programming environment.
|
