University of St Andrews - Scotland's first university, founded 1413

Module Catalogue

For information on which modules are specific to your programme, please see : Programme requirements index 2017-2018.

Curricular information may be subject to change.

CS4402 Constraint Programming

Academic year(s): 2017-2018

Key information

SCOTCAT credits : 15

ECTS credits : 7

Level : SCQF level 10

Semester: 2

Planned timetable: To be arranged.

This module introduces constraint-based reasoning as a powerful mechanism for knowledge representation and inference. It provides a thorough grounding in the constraint satisfaction/constrained optimisation problem formalism, and covers both basic techniques for implementing constraint solvers and the use of advanced techniques with a modern solver.

Relationship to other modules

Pre-requisite(s): Before taking this module you must pass CS2001 and ( pass CS2001 or pass CS2101 )

Learning and teaching methods and delivery

Weekly contact: 2 lectures (x 11 weeks) and fortnightly tutorial.

Scheduled learning hours: 28

Guided independent study hours: 122

Assessment pattern

As used by St Andrews: 2-hour Written Examination = 60%, Coursework = 40%

As defined by QAA
Written examinations : 60%
Practical examinations : 0%
Coursework: 40%

Re-assessment: 2-hour Written Examination = 60%, Existing Coursework = 40%