Constraint Programming
Constraint-programmering

EDAN01F, 7.5 högskolepoäng

Gäller från och med: Autumn 2017
Beslutad av: Professor Thomas Johansson
Datum för fastställande: 2017-03-22

Allmänna uppgifter

Avdelning: Computer Science (LTH)
Kurstyp: Gemensam kurs, avancerad nivå och forskarnivå
Kursen ges även på avancerad nivå med kurskod: EDAN01
Undervisningsspråk: English

Syfte

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.

Mål

Kunskap och förståelse

För godkänd kurs skall doktoranden

• be able to use basic concepts of constraint programming
• be able to explain principles of constraint programming and define constraints for simple problems.

Färdighet och förmåga

För godkänd kurs skall doktoranden

• be able to model and implement constraint programs for a combinatorial problem
• be able to use appropriate heuristics to implement efficient search methods.

Värderingsförmåga och förhållningssätt

För godkänd kurs skall doktoranden demonstrate the ability to critically evaluate and compare different methods to solve combinatorial problems with help of constraint programming

Kursinnehåll

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.

Kurslitteratur

Kuchcinski, K.: Modeling and Optimisation of Embedded Systems with Constraint Programming: Principles and Practice..
Distributed by the department.

Kursens undervisningsformer

Undervisningsformer: Föreläsningar, laborationer

Kursens examination

Examinationsformer: Skriftlig tentamen, inlämningsuppgifter. 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.
Betygsskala: Underkänd, godkänd
Examinator:

Antagningsuppgifter

Förkunskapskrav: EDAA01 Programming - Second Course or EDAA30 Programming in Java - Second Course

Kurstillfällesinformation

Kontaktinformation och övrigt

Kursansvariga:
Hemsida: http://cs.lth.se/edan01