| Abstract | .... 3 | |
| Contents | .... 4 | |
| 1 | Dynamic Load Balancing | .... 6 |
| 1.1 | Priciple | .... 6 |
| 1.2 | Implementation | .... 7 |
| 2 | Examples of Constraints generation | .... 9 |
| 2.1 | Queens | .... 9 |
| 2.2 | Mazes | .... 11 |
| 2.3 | Scheduling | .... 13 |
| 3 | Source code Parallel Forward Checking | .... 20 |
| 3.1 | SFCH1 | .... 20 |
| 3.2 | GFCH1 | .... 25 |
| 3.3 | SFCH | .... 32 |
| 3.4 | GFCH | .... 36 |
| 3.5 | FCH; utilities used by the problem solvers | .... 42 |
| 4 | Bibliography | .... 47 |
ICOT研究論文(TR)一覧に戻る / Back to the list of ICOT Technical Reports