FID3014 Avancerad villkorsprogrammering 7,5 hp

Villkorsprogrammering (CP) är ett ungt etablerat forskningsområde och erbjuder en mängd tekniker och metoder för att lösa kombinatoriska (optimerings-)problem. Kursen handlar om avancerade teman inom villkorsprogrammering som går längre än de grundläggande teknikerna för problemmodellering och -lösning. Kursen riktar särskilt in sig på villkorsprogrammeringens kopplingar till andra ansatser till kombinatorisk problemlösning som Boolesk satisfierbarhet (SAT), matematisk programmering, dynamisk programmering, och lokalsökning.

Teman som kursen innefattar är bl.a. avancerade söktekniker som omstarter och algoritmportföljer; lemmainlärning och konfliktanalys i SAT och CP; lösningsansatser för problem inom schemaläggning, tilldelning, placering och planering; universella och domänspecifika sökheuristiker; optimering mot multipla mål; lokalsökning i stora grannskap (LNS); problemnedbrytning.

Studenten kommer att tillägna sig förmåga att diskutera, analysera, presentera och kritiskt recensera djup och aktuell specialistkunskap inom villkorsprogrammering samt att relatera till kunskap inom besläktade områden.

Antagen som forskarstuderande.

Rekommenderade förkunskaper:

Studenten bör ha klarat av en kurs i villkorsprogrammering på magisternivå som t.ex. "ID2204 Villkorsprogramming".

Studenten bör ha klarat av en kurs i villkorsprogrammering på magisternivå som t.ex. "ID2204 Villkorsprogramming".

Inga.

Artiklarna kommer att väljas från framstående internationella tidskrifter och konferenser som Constraints Journal, AI Journal, konferensen Principles and Practice of Constraint Programming, konferensen CP-AI-OR, bokkapitel, m.m.

När kurs inte längre ges har student möjlighet att examineras under ytterligare två läsår.

Examinator beslutar, baserat på rekommendation från KTH:s handläggare av stöd till studenter med funktionsnedsättning, om eventuell anpassad examination för studenter med dokumenterad, varaktig funktionsnedsättning.

Examinator får medge annan examinationsform vid omexamination av enstaka studenter.

För godkänt måste studenten ha:

• framgångsrikt presenterat fyra artiklar och för var och en av dem skrivit en recension.
• läst några av de andra studenternas artiklar, närvarat på de andra studenternas presentationer och aktivt bidragit till diskussionen kring dem.

• Vid grupparbete har alla i gruppen ansvar för gruppens arbete.
• Vid examination ska varje student ärligt redovisa hjälp som erhållits och källor som använts.
• Vid muntlig examination ska varje student kunna redogöra för hela uppgiften och hela lösningen.