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