1 2 3 4 5 6
7 8 9 10 11 12
1 - 21 sep 2020
Introduction + Constraint Propagation
- Examples of decision (making) problems
- Complexity and the need for search
- Declarative Modelling with Constraints
- Constraint Propagation
video
2 - 22 sep 2020
Constraint Propagation
- Constraint Networks and Consistency Criteria
- Node- and Arc-consistency
- Enforcing Algorithms and their Complexity
- Declarative Languages for Constraint Programming
- Introduction to Choco
videoa + videob
3 - 6 oct 2020
Constraint Propagation
- Higher Consistency Types: Path and i-consistency
- Consistency and Satisfiability
- Other Consistencies: Bounds- and SAC-Consistency
- Non-Binary Networks and Generalised Arc-Consistency
video
4 - 13 oct 2020
Global Constraints
- Global constraints
- Domain-consistency and specialised propagation
- Global Constraints in Choco (1)
video
5 - 19 oct 2020
Global Constraints (2)
- Global Constraints in Choco (2)
- Scheduling Constraints
- Redundant Constraints
- Resource Management Constraints
video
6 - 26 oct 2020
Heuristic Search
- Variable and Value selection
- Static and Dynamic Heuristics
- Advanced Search Techniques
video
7 - 9 nov 2020
Introduction to Interval Constraints
- Continuous Constraint Satisfaction Problems
- Continuous Constraint Reasoning
- Solving Continuous CSPs
- Practical Examples
8 - 16 nov 2020
Continuous Domains and Interval Arithmetic
- Representation of continuous domains
- Interval arithmetic
- Interval functions
9 - 23 nov 2020
Interval Newton Method
- Newton Method for finding roots of univariate functions
- Extension of the Newton method
- Interval Extension of the Newton method
- Properties of the Interval Newton method
- Enclosing the zeros of a family of functions
- Zeros of systems of equations
10 - 9 dec 2020
Associating Narrowing Functions to Constraints
- Narrowing Functions and their Properties
- Narrowing Functions for Single Constraints
- Constraint Newton Method
- Constraint Decomposition Method
- Revise Procedures
- Narrowing Functions for Systems of Constraints
- Multivariate Interval Newton
- Reformulation Linearization
- Linear relaxation based on affine arithmetic
- Corner based Taylor relaxation
11 - 14 dec 2020
Constraint Propagation and Constraint Solving
- Constraint Propagation
- Local Consistencies
- Higher Order Consistencies
- Branch and Prune Algorithm
- Branching Strategies
- Branch and Bound Algorithm
- Modelling Techniques
12 - 21 dec 2020
- Support to Project on Continuous Domains