CS4402
Constraint Programming
2024-2025
15
7
SCQF level 10
1
Academic year(s): 2024-2025
SCOTCAT credits : 15
ECTS credits : 7
Level : SCQF level 10
Semester: 1
Availability restrictions: Not automatically available to General Degree students
Planned timetable:
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.
Pre-requisite(s): Before taking this module you must pass CS2002 and ( pass CS2001 or pass CS2101 )
Weekly contact: 2 hr x 10 weeks lectures, 1 hr x 5 weeks tutorial/discussion.
Scheduled learning hours: 25
Guided independent study hours: 125
As used by St Andrews: 3-hour Examination = 40%, Coursework = 60%
Re-assessment: 3-hour Examination = 40%, Coursework = 60%