Combinatorial Decision Making & Optimization

• Tools
  • MiniZinc：A modeling language with interfaces to several CP (and other) solvers (https://www.minizinc.org/).
  • Z3：A SAT/SMT solver (https://github.com/Z3Prover/z3/)

Exam

• A unique written exam (paper-based) for the entire course.
• An oral exam maybe required at the discretion of the lecturers.
• 4 sessions in July 7, September 11, January and February 2027.