Summary of Laboratory Classes

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


1 - 28 sep 2020
Modelling selected problems from CSPLIB

2 - 29 sep 2020
Modelling selected problems from CSPLIB

3 - 12 oct 2020
Exercises on Constraint Propagation

4 - 20 oct 2020
Exercises with Global Constraints (TSP) + Project in Finite Domains

5 - 27 oct 2020
Exercises with Global Constraints (Job Shop) + Project in Finite Domains

6 - 2 nov 2020
Project in Finite Domains

7 - 10 nov 2020
The C++ library for constraint processing over real numbers. First steps.

8 - 17 nov 2020
Intervals, Interval Arithmetic and Interval Functions.

9 - 24 nov 2020
Interval Newton Method. Interval Linear Systems.

10 - 7 dec 2020
Associating Narrowing Functions to Constraints. Constraint Decomposition Method. 
Constraint Newton Method. Revise Procedures. Reformulation-Linearization.
Introduction to the final project.

11 - 21 dec 2020
Support to Final Project

12 - 22 dec 2020
Support to Final Project