Summary of Laboratory Classes

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

1 - 19 sep 2019
Modelling selected problems from CSPLIB
2 - 26 sep 2019
- Exercises on Constraint Propagation
3 - 03 oct 2019
Modelling selected problems from CSPLIB
4 - 10 Oct 2019
Exercises with Global Constraints (TSP & Job Shop)
5 - 17 oct 2019
Project in Finite Domains
6 - 24 oct 2019
Project in Finite Domains
7 - 31 oct / 01 nov 2019
Boost Interval Arithmetic Library: Installation and configuration
8 - 07 / 08 nov 2019
Interval Arithmetic; Interval Functions
9 - 14 / 15 nov 2019
Extended Division Operator; Multivariate Polynomials
10 - 21 / 22 nov 2019
Implementation of the Newton Narrowing Operator for Multivariate Polynomials
Implementation of the Constraint Propagation Algorithm; Final Project
Implementation of the Branch & Prune Algorithm; Application of the constraint constraint solver for processing polynomial equality constraints