CE884 Constraint Satisfaction Problem Solving 2008-2009

Notes for CE884 (restricted access) Students:

• Overview lecture (pdf, 4MB)
• Problem Reduction (pdf, 87K)
• Complete Search Methods (pdf 259K)
• Stochastic Search (pdf 396K)

Industrial Talk by James Borrett, Global Optimum, 2 February 2009 (slides in pdf)
Industrial Talk by Chris Voudouris, BT, 2 March 2009
Exercises and Assignments: Assignments 1 and 2, 2008-09 (pdf)

References:

• E P K Tsang, Foundations of Constraint Satisfaction, Academic Press, 1993 (On-line)
• F Rossi, P van Beek & T Walsh (ed), Handbook of Constraint Programming, Elsevier, 2006
• Edgar Galvan's class material, 2006-07
• http://www.bracil.net/CSP links to other major research sites

Software:

• Backmarking Algorithm by Luis Vargas, 2002-03 (Installation shield, 23MB)
• Learning Nogoods Algorithm by Cesareo Gutierrez Casorran, 2002-03 (Java programs, 176K)
• Constraint solving system ZDC developed in the CACP Project at University of Essex

Student Supports:

• For technical consultation, please contact Edward Tsang, course supervisor
• For non-academic problems, advices are available from Professional Counselling services