EDAN01F

Tillfällig

Constraint-programmering

7,5

Gemensam kurs, avancerad nivå och forskarnivå

7121 (Datavetenskap (LTH))

 -03-22

Professor Thomas Johansson

Engelska

En gång per termin

Kursens syfte är att studenterna skall lära sig en ny programmeringsparadigm som baseras på villkorsteknik över finita domäner och att de skall få praktisk erfarenhet av användning av dessa metoder inom lösning av kombinatoriska problem.

Introduktion till constraint-programmering.
Grundläggande algoritmer (satisfierbarhet, konsistens, optimering).
Finit domän.
Modellering med finita domäner.
Sökstrategier och optimering.
Några avancerade tillämpningar.

kunna använda grundläggande begrepp inom constraint-programmering,
kunna förklara principer av constraint-programmering och definiera constraints för enkla problem.

kunna utforma och implementera constraint program för kombinatoriska problem,
kunna använda lämpliga heuristiker för att implementera effektiva sökmetoder.

ha förmåga att kritiskt värdera olika metoder för lösa kombinatoriska problem med hjälp of constraint-programmering

Föreläsningar

Laborationer

Skriftlig tentamen

Inlämningsuppgifter

För godkänt betyg krävs att tre obligatoriska laborationer och projektet har fullgjorts. För högre betyg krävs dessutom en skriftlig tentamen.

Underkänd, godkänd

EDAA01 Programmeringsteknik - fördjupningskurs eller EDAA30 Programmering i Java - fortsättningskurs

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

Distribueras av institutionen.

EDAN01F

 -03-22

Professor Thomas Johansson