| Presentation | 1996/10/1 Solving Constraint Satisfaction Problems based on Equivalent Transformation Keiko Suita, Kiyoshi Akama, Eiichi Miyamoto, |
|---|---|
| PDF Download Page | PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | In many conventional programming languages, programs are constructed from built-in data structures or built-in constraints. Due to the limitation of the expressive power, the computation may become very inefficeint when they are used to solve large and complicated problems. In order to overcome the difficulty, we adopt a new programming paradigm, called "equivalent transformation programming (ET-programming)", where programs consist of many equivalent transformation rules and control declarations, and problems are solved by reducing problems by equivalent transformation of problem descriptions. In this paper, we show that ET-programming is useful to surpress the combinatorial explosion when solving large constraint satisfaction problems. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | constraint satisfaction / equivalent transformation / transformation rule / combinatorial explosion |
| Paper # | SS96-18 |
| Date of Issue |
| Conference Information | |
| Committee | SS |
|---|---|
| Conference Date | 1996/10/1(1days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | |
| Vice Chair | |
| Secretary | |
| Assistant | |
| Paper Information | |
| Registration To | Software Science (SS) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Solving Constraint Satisfaction Problems based on Equivalent Transformation |
| Sub Title (in English) | |
| Keyword(1) | constraint satisfaction |
| Keyword(2) | equivalent transformation |
| Keyword(3) | transformation rule |
| Keyword(4) | combinatorial explosion |
| 1st Author's Name | Keiko Suita |
| 1st Author's Affiliation | Division of System and Information Engineering, Hokkaido University() |
| 2nd Author's Name | Kiyoshi Akama |
| 2nd Author's Affiliation | Division of System and Information Engineering, Hokkaido University |
| 3rd Author's Name | Eiichi Miyamoto |
| 3rd Author's Affiliation | Division of System and Information Engineering, Hokkaido University |
| Date | 1996/10/1 |
| Paper # | SS96-18 |
| Volume (vol) | vol.96 |
| Number (no) | 283 |
| Page | pp.pp.- |
| #Pages | 8 |
| Date of Issue | |