Overview (see quick tutorial on constraint satisfaction)
Constraint satisfaction is about decision-making. It is about making a large number of decisions, satisfying complex constraints. Constraint techniques have been employed by many companies, including IBM, British Telecom, British Airway. This module will introduce the basic techniques in constraint satisfaction, with emphasis on its applications to real world problems such as logistics and finance. Constraint satisfaction is the core of computer science. Students in artificial intelligence, operations research, computational finance, etc. should all benefit from taking this module.
Started in late 1980s, this is, as far as we know, the first module in constraint satisfaction in UK.
Lecturer: Professor Edward Tsang / x2774 / Skype: bracil.net
Slides and Notes:
Exercises and Assignments (on-line submission only):