Lectures

Foundations of Constraint Programming

 

Home | Author | Schedule | Resources

 

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

Foundations of Constraint Programming