UoN CS ASAP
Home Teaching Supervision Grants Publications Academics

Constraint Programming

This page contains the teaching resources for the summer course at Xi'an Jiaotong University, China, July 2009. More local information is here.

Lecture Content

Reading Resources

Introduction & CSP & Constraint Based Scheduling Constraint Programming: In Pursuit of the Holy Grail Prof. Bartak
CP Techniques & Constriant Based Scheculing - Problems A Tutorial on Constraint Programming Prof. Smith
Constraint Propagation & Propagation in Scheduling Constraint Based Scheduling Prof. Baptiste
Consistency Techniques & Search Strategies Filtering Techniques in Planning and Scheduling Prof. Bartak
Modelling &Constriant Optimization Theory and Practice of Constraint Propagation Prof. Bartak
Research in Nurse Rostering & Hybrid CP in Nurse Rostering A hybrid CP approach in Nurse Rostering

The coursework report is due on the 31st August at 5pm (GMT London time). Please send all your files in a compressed file named yourname.zip to my e-mail address. Late submissions will be penalised at 5% deduction each weekday.

Books

  • E.P.K. Tsang. Foundations of Constraint Satisfaction. Academic Press, 1993.
  • Rina Dechter. Constraint Processing, Morgan Kaufmann Series in Artificial Intelligence, 2003.
  • Freuder E. and Wallace M. Constraint Programming. In: E.K. Burke and G. Kendall (eds.). Search Methodologies: Introductory Tutorials in Optimization and Decision Support Techniques. Springer, Chapter 9, 2005.