Summary of Laboratory Classes

  1      2      3      4      5      6
  7      8      9    10    11    12


1 -  4 Oct 2021
Modelling selected problems from CSPLIB

2 - 11 Oct 2021
Modelling selected problems from CSPLIB

3 - 18 Oct 2021
Exercises on Constraint Propagation

4 - 26 Oct 2021
Exercises with Global Constraints (TSP) + Project in Finite Domains

5 - 2 Nov 2021
Exercises with Global Constraints (Job Shop) + Project in Finite Domains

6 - 9 Nov 2021
Project in Finite Domains

7 - 23 Nov 2021
The C++ library for constraint processing over real numbers. First steps.

8 - 30 Nov 2021
Intervals, Interval Arithmetic and Interval Functions.

9 - 7 Dec 2021
Interval Newton Method. Interval Linear Systems.

10 - 14 Dec 2021
Associating Narrowing Functions to Constraints. Constraint Decomposition Method. 
Constraint Newton Method. Revise Procedures. Reformulation-Linearization.
Introduction to the final project.

11 - 21 Dec 2021
Support to Final Project

12 - 3 Jan 2022
2nd Test