Summary of Theoretical Classes
1 2 3 4 5
6 7 8 9 10
1 - 6 Oct 2016
Modelling with Constraints
- Examples of decision (making) problems
- Complexity and the need for search
- Declarative Modeling with Constraints
- Constraint Programming and Constrained Local Search
2 - 13 Oct 2106
Constraint Propagation
- Backtrack Search and Constraint Propagation
- Constraint networks
- Consistency criteria
- Node-, Arc- and Path-consistency
3 - 20 Oct 2106
Constraint Propagation
- Algorithms to enforce Node- and Arc-consistency
- Other Consistency Criteria (Path- and K-)
- Non-Binary Networks
- Generalised Arc-Consistency and Bounds-Consistency
4 - 20 Oct 2106
Global Constraints
- Global constraints
- Domain-consistency and specialised propagation
- Examples of Global Constraints in Comet
- Redundant constraints
5 - 3 Nov 2106
Heuristic Search
- Variable and value selection
- Static and dynamic heuristics
- User defined heuristics
- Advanced Search Techniques
6 - 10 Nov 2106
Introduction to Interval Constraints
- Continuous Constraint Satisfaction Problems
- Continuous Constraint Reasoning
- Solving Continuous CSPs
- Practical Examples
7 - 17 Nov 2106
Continuous Domains and Interval Arithmetic
- Representation of continuous domains
- Interval arithmetic
- Interval functions
- Interval Newton method
8 - 24 Nov 2106
Associating Narrowing Functions to Constraints
- Projection function and their enclosure
- Constraint decomposition method
- Constraint Newton method
- Complementary approaches
9 - 1 Dec 2106
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
10 - 8 Dec 2106
Problem Solving
- Modelling techniques
- Some Languages and Tools
- Typical benchmarks
- Specification of the Project