Combinatorial Optimisation and Constraint Programming

10 credits

Course, Master's level, 1DL442

Autumn 2023 Autumn 2023, Uppsala, 33%, On-campus, English

Autumn 2023 Autumn 2023, Uppsala, 33%, On-campus, English For exchange students

Autumn 2024 Autumn 2024, Uppsala, 33%, On-campus, English

Autumn 2024 Autumn 2024, Uppsala, 33%, On-campus, English For exchange students

About the course

  • The use of tools for solving a combinatorial problem, by first modelling it in a solving-technology-independent constraint-based modelling language and then running the model on an off-the-shelf solver.
  • Constraint consistency; constraint propagator; propagation fixpoint algorithm.
  • Solving by systematic search: construction and exploration of a search tree; branching strategies; handling of an objective function for optimisation.
  • Solving by (constraint-based) stochastic local search: construction and exploration of a search space; constraint violation; variable violation; move probing; search heuristics; search meta-heuristics.

FOLLOW UPPSALA UNIVERSITY ON

facebook
instagram
twitter
youtube
linkedin