Overview (see quick tutorial on constraint satisfaction)
Started in late 1980s, this is, as far as we know, the first module in constraint satisfaction in UK. Constraint satisfaction is about decision-making. It is about making a large number of decisions, satisfying complex constraints. It is at the heart of computer science. This module will introduce the basic techniques in constraint satisfaction, with emphasis on their applications to real world problems. Students in artificial intelligence, operations research and applications (such as scheduling and computational finance) should benefit from taking this module.
Lecturer: Professor Edward Tsang /
x2774 / Skype: bracil.net
Class tutor: Ao Han
Distinguished Guest Lecture: Dr James Borrett, Global Optimal Ltd, Visiting Fellow, School of Computer Science and Electronic Engineering (Handout)
Slides and Notes: Moodle
Exercises and Assignments (on-line submission only):