CE884 Constraint Satisfaction For Decision Making, 2010-2011
Lecturer: Professor Edward Tsang /
x2774 / Skype: bracil.net
Class tutor: Abdullah AlSheddy /
Timetables:
- Lectures: Mondays 4:00-5:50pm, Room 2.410 (updated)
(the first lecture will take place on Monday 17 January 2011)
- Classes: Wednesdays 12:00-12:50pm Room 5N.7.21
(the first class will take place on Wednesday 2 February 2011)
Slides:
-
Overview lecture (pdf,
156K)
-
Problem Reduction (pdf, 87K)
-
Complete Search Methods
(pdf 259K)
-
Stochastic Search
(pdf 396K)
Distinguished Guest Lectures:
Exercises and Assignments (on-line submission only):
- Both assignments are on The Round-Pound Problem
- Specifications for both assignments
- Assignment 1 (problem formulation); deadline: Friday 25 February 2011 (week 21) 11:59:59
- Assignment 2 (algorithms and implementation); deadline: Friday 25 March 2011 (week 25) 11:59:59
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
- Rashidi, H. and Tsang, E.P.K.,
Vehicle Scheduling in Port Automation, VDM Verlag, 2010 , demonstrating constraint satisfaction formulations in port automation)
- Edgar Galvan's class material, 2006-07
- http://www.bracil.net/CSP links to other major research sites
Software:
Student Supports:
Maintained by Edward Tsang;
Last updated: 2011.12.05