lunduniversity.lu.se

Third-Cycle Courses

Faculty of Engineering | Lund University

Details for Course EDAN01F Constraint Programming

Printable view

General
  • EDAN01F
  • Temporary
Course Name
  • Constraint Programming
Course Extent
  • 7.5
Type of Instruction
  • Course given jointly for second and third cycle
  • EDAN01
Administrative Information
  • 7121 (Computer Science (LTH))
  • EDAN01
  •  -03-22
  • Professor Thomas Johansson

Current Established Course Syllabus

General
Aim
  • The goal of this course is to have each student acquire the knowledge on a new programming paradigm based on constraints over finite domains and provide experience of how to use these methods for solving combinatorial problems.
Contents
  • Introduction to constraint programming.
    Basic algorithms used in constraint programming systems
    (constraint satisfaction and consistency, optimisation).
    Finite domain constraints.
    Modelling with finite domain constraints.
    Searching methods and optimisation.
    Selected advanced issues.
Knowledge and Understanding
  • For a passing grade the doctoral student must
  • be able to use basic concepts of constraint programming
    be able to explain principles of constraint programming and define constraints for simple problems.
Competences and Skills
  • For a passing grade the doctoral student must
  • be able to model and implement constraint programs for a combinatorial problem
    be able to use appropriate heuristics to implement efficient search methods.
Judgement and Approach
  • For a passing grade the doctoral student must
  • demonstrate the ability to critically evaluate and compare different methods to solve combinatorial problems with help of constraint programming
Types of Instruction
  • Lectures
  • Laboratory exercises
Examination Formats
  • Written exam
  • Written assignments
  • To qualify for a passing mark, the students must have completed the laboratory work and the project. To qualify for a higher mark a written examination is required.
  • Failed, pass
Admission Requirements
  • EDAA01 Programming - Second Course or EDAA30 Programming in Java - Second Course
Assumed Prior Knowledge
Selection Criteria
Literature
  • Kuchcinski, K.: Modeling and Optimisation of Embedded Systems with Constraint Programming: Principles and Practice..
  • Distributed by the department.
Further Information
Course code
  • EDAN01F
Administrative Information
  •  -03-22
  • Professor Thomas Johansson

All Established Course Syllabi

1 course syllabus.

Valid from First hand in Second hand in Established
Autumn 2017 2017‑03‑22 09:57:14 2017‑03‑22 10:01:14 2017‑03‑22

Current or Upcoming Published Course Occasion

No matching course occasion was found.

All Published Course Occasions

No matching course occasions were found.

0 course occasions.

Printable view