Summary of Theoretical Classes
1 2 3 4 5 6
7 8 9 10 11 12
1 - 12 sep 2019
Introduction + Constraint Propagation
- Examples of decision (making) problems
- Complexity and the need for search
- Declarative Modeling with Constraints
- Introduction to Comet
2 - 19 sep 2019
Constraint Propagation
- Constraint Networks and Consistency Criteria
- Node- and Arc-consistency
- Enforcing Algorithms and their Complexity
3 - 26 sep 2019
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
4 - 3 oct 2019
Global Constraints
- Global constraints
- Domain-consistency and specialised propagation
- Global Constraints in Choco (1)
5 - 10 oct 2019
Global Constraints (2)
- Global Constraints in Choco (2)
- Scheduling Constraints
- Redundant Constraints
- Resource Management Constraints
6 - 17 oct 2019
Heuristic Search
- Variable and Value selection
- Static and Dynamic Heuristics
- Advanced Search Techniques
7 - 31 oct 2019
Introduction to Interval Constraints
- Continuous Constraint Satisfaction Problems
- Continuous Constraint Reasoning
- Solving Continuous CSPs
- Practical Examples
8 - 07 nov 2019
Continuous Domains and Interval Arithmetic
- Representation of continuous domains
- Interval arithmetic
- Interval functions
9 - 14 nov 2019
Interval Newton Method
- Newton Method for finding roots of univariate functions
- Interval Extension of the Newton method
- Properties of the Interval Newton method
- Enclosing the zeros of a family of functions
10 - 21 nov 2019
Associating Narrowing Functions to Constraints
- Projection Function and their enclosure
- Constraint Decomposition method
- Constraint Newton method
- Complementary approaches
11 - 28 nov 2019
Constraint Propagation and Consistency Enforcement
- Consistency Types (arc, interval, hull and box)
- Constraint Propagation
- Narrowing Functions and their Properties
- Constraint Propagation Algorithm and its Properties
12 - 05 dec 2019
- Modelling Techniques
- Some Languages and Tools
- Typical Benchmarks
- Final Project