|
ETAPS
2003, April 12, 2003, Warshaw, Poland
Programme
| 9.00
- 10.30 |
Introduction
and basic terminology. History and application areas. Local search
techniques (hill-climbing, min-conflicts, random-walk). |
| 11.00
- 12.30 |
Systematic
search techniques: chronological backtracking, backjumping, backmarking,
discrepancy search. |
| 14.00
- 16.00 |
Consistency
techniques: node consistency, arc consistency, path consistency.
Generic consistency notions: k-consistency, (i,j)-consistency, singleton
consistency. |
| 16.30
- 18.00 |
Integration
of consistency with search, value/variable ordering. Optimisation
and over-constrained problems. Final notes. |
|