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.