Summary of Laboratory Classes
1 2 3 4 5 6
7 8 9 10 11 12
1 - 14 sep 2017
Modelling selected problems from CSPLIB
2 - 21 sep 2017
- Modelling selected problems from CSPLIB
3 - 28 sep 2017
Exercises on Constraint Propagation
4 - 12 oct 2017
Exercises with Global Constraints (TSP & Job Shop)
5 - 19 oct 2017
Project in Finite Domains
6 - 26 oct 2017
Project in Finite Domains
7 - 2 nov 2017
Boost Interval Arithmetic Library: Installation and configuration
8 - 9 nov 2017
Interval Arithmetic; Interval Functions
9 - 16 nov 2017
Extended Division Operator; Multivariate Polynomials
10 - 23 nov 2017
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