|
ESSLLI 2002, August 5-16, 2002, Trento,
Italy
| 5.
8. 2002 |
Introduction
and basic terminology. Local search techniques (hill-climbing, min-conflicts,
random-walk, tabu-search). |
|
| 6.
8. 2002 |
Systematic
search techniques: chronological backtracking, backjumping, backmarking,
discrepancy search. |
|
| 7.
8. 2002 |
Introduction
to consistency techniques: node consistency, arc consistency (AC1,
AC3, AC4), directional arc consistency. |
|
| 8.
8. 2002 |
Path
consistency (PC1, PC2). Generic consistency notions: k-consistency,
(i,j)-consistency, singleton consistency. |
|
| 9.
8. 2002 |
Integration of consistency with search, value/variable ordering.
Optimisation and over-constrained problems. Final notes. |
|
|