| Abstract | .... 3 | |
| Introduction | .... 8 | |
| Acknowledgment | .... 8 | |
| 1 | Parallel Forward Checking Problem Solver | .... 9 |
| 1.1 | Principle of forward checking | .... 9 |
| 1.2 | Forward checking in Parallel | .... 11 |
| 1.3 | Illustractive example the queen plobrem | .... 12 |
| 1.4 | Implementation | .... 14 |
| 1.5 | User guide | .... 18 |
| 2 | Applications,Performance | .... 22 |
| 2.1 | Note on Performance measures | .... 22 |
| 2.2 | The queen problem | .... 23 |
| 2.3 | The zebra problem | .... 28 |
| 2.4 | The Scheduling | .... 30 |
| 2.5 | The Maze | .... 33 |
| 2.6 | Related work | .... 37 |
| 3 | Conclusions | .... 43 |
| 3.1 | The Constraint Language | .... 43 |
| 3.2 | Simple versus Generalized Forward checking | .... 43 |
| 3.3 | Parallel Forward Checking | .... 44 |
| 3.4 | Performances | .... 44 |
| 3.5 | ESP version | .... 45 |
| 3.6 | Future Improvements | .... 45 |
| 3.7 | Bibliography | .... 47 |
ICOT研究論文(TR)一覧に戻る / Back to the list of ICOT Technical Reports