FID3014 Advanced Constraint Programming 7.5 credits

Constraint Programming (CP) has established itself as both an academic field and a set of technologies for solving combinatorial (optimization) problems. This course is concerned with advanced topics in Constraint Programming that go beyond basic modeling and solving techniques.  The course in particular focuses on connections of Constraint Programming with other approaches to combinatorial problem solving such as Boolean Satisfiability (SAT), Mathematical Programming, Dynamic Programming, and Local Search.

Topics include, but are not limited to: advanced search techniques such as restarts and portfolios; no-good learning and conflict analysis in SAT and CP; approaches for solving scheduling, assignment, placement, and planning problems; universal and domain-specific search heuristics; multi-objective optimization; LNS (Large Neighborhood Search); problem decompositions.

After the course the student will be able to discuss, analyze, present, and critically review advanced and up-to-date specialized knowledge in Constraint Programming and make connections to knowledge in related areas.

Enrolled as a doctoral student.

Prerequisites:

The student should have completed a course on Constraint Programming on the master level such as for example "ID2204 Constraint Programming".

The student should have completed a course on Constraint Programming on the master level such as for example "ID2204 Constraint Programming".

None.

The papers will be chosen from high-quality international venues such as the Constraints journal, the AI Journal, the Principles and Practice of Constraint Programming conference, the CP-AI-OR conference, and others, including book-chapters.

If the course is discontinued, students may request to be examined during the following two academic years.

Based on recommendation from KTH’s coordinator for disabilities, the examiner will decide how to adapt an examination for students with documented disability.

The examiner may apply another examination format when re-examining individual students.

In order to pass the course, a student must have:

• successfully presented four papers and have written a critical review for each paper.
• read some of the papers assigned to the other course participants, attended the presentation of the other course participants, and actively participated in the discussion.

• All members of a group are responsible for the group's work.
• In any assessment, every student shall honestly disclose any help received and sources used.
• In an oral assessment, every student shall be able to present and answer questions about the entire assignment and solution.