1. September 11
Introduction, organisation (UN)
2. September 18
Basics (Chapter 1,2) (JM)
3. September 25
Finite domain constraints. (Chapter 3) (JM)
4. October 3, 3-5 (NOTE: CHANGE OF DATE+TIME)
Introduction to LP and Prolog, optional (UN)
5. October 9
Interval constraints (JM)
Litterature:
Frédéric Benhamou and William J. Older.
Applying Interval Arithmetic to Real, Integer and Boolean
Constraints
. Journal of Logic Programming} 32(1), 1-24,1997
with some additions from:
Frédéric Benhamou and David McAllister and Pascal Van Hentenryck.
CLP(Intervals) Revisited. ILPS'94
6. October 16
NO LECTURE (moved to 6th Nov)
7. October 23 
Modelling with FD Constraints (Ch. 5, 8) (UN)
8. October 30
Use of constraints in system design (KK)
9. November 6 (NOTE: IN ESTRADEN)
Available systems: SICStus Prolog, CHIP, Prolog IV (Pawel Pietrzak)
10. November 13 
Constraint Handling Rules (Pierangelo Dell'Acqua)
11. November 20 (NOTE: IN ESTRADEN AT 1-3)
Survey of HAL (Aida Vitoria)
12. December 11 
Presentation of exam solutions 

2001 Ulf Nilsson