|
NASSLI
2003, June 17-21, 2003, Indiana University, Bloomington, U.S.A.
| 17.
6. 2003 |
Introduction
and basic terminology. Local search techniques (hill-climbing, min-conflicts,
random-walk, tabu-search). |
| 18.
6. 2003 |
Systematic
search techniques: chronological backtracking, backjumping, backmarking,
discrepancy search. |
| 19.
6. 2003 |
Introduction
to consistency techniques: node consistency, arc consistency (AC1,
AC3, AC4), directional arc consistency. |
| 20.
6. 2003 |
Path
consistency (PC1, PC2). Generic consistency notions: k-consistency,
(i,j)-consistency, singleton consistency. |
| 21.
6. 2003 |
Integration of consistency with search, value/variable ordering.
Optimisation and over-constrained problems. Final notes. |
|