Schedule

4 October

• Introduction (slides)
• Distribution of topics

22 November

• Michael Handler: Constraints (CB)

17 January

• Ludwig Rafelsberger: Simplification, Optimization and Implication (DH)
• Stefan Rebitsch: Constraint Logic Programs (RT)