Summary of Laboratory Classes

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

1 - 20 sep 2018
Modelling selected problems from CSPLIB
2 - 27 sep 2018
- Exercises on Constraint Propagation
3 - 04 oct 2018
Modelling selected problems from CSPLIB
4 - 04 oct 2018
Exercises with Global Constraints (TSP & Job Shop)
5 - 11 oct 2018
Project in Finite Domains
6 - 18 oct 2018
Project in Finite Domains
7 - 25 oct 2017
Boost Interval Arithmetic Library: Installation and configuration
8 - 8 nov 2018
Interval Arithmetic; Interval Functions
9 - 15 nov 2018
Extended Division Operator; Multivariate Polynomials
10 - 22 nov 2018
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