Lectures

Foundations of Constraint Satisfaction

 

Home | Author | Lectures | Resources

 

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.
 © 2002 Roman Barták

Foundations of Constraint Satisfaction