Summary of Theoretical Classes
1 2 3 4 5 6
7 8 9 10 11 12
1 - 19 sep 2016
Introduction + Constraint Propagation
- Examples of decision (making) problems
- Complexity and the need for search
- Declarative Modeling with Constraints
- Constraint Programming and Constrained Local Search
2 - 26 sep 2016
Constraint Propagation
- Introduction to Comet
- Constraint Networks and Consistency Criteria
- Node- and Arc-consistency
- Enforcing Algorithms and their Complexity
3 - 3 oct 2016
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 - 10 oct 2016
Global Constraints
- Global constraints
- Domain-consistency and specialised propagation
- Examples of Global Constraints in Comet
- Redundant constraints
5 - 17 oct 2016
Heuristic Search
- Variable and value selection
- Static and dynamic heuristics
- User defined heuristics
- Advanced Search Techniques
6 - 24 oct 2016
Symmetries
- Types of Symmetries
- Symmetry Detection and Breaking
- Symmetry Breaking by Reformulation
- Symmetry Breaking before and during Serach
- slides
7 - 31 oct 2016
Introduction to Interval Constraints
- Continuous Constraint Satisfaction Problems
- Continuous Constraint Reasoning
- Solving Continuous CSPs
- Practical Examples
8 - 7 nov 2016
Continuous Domains and Interval Arithmetic
- Representation of continuous domains
- Interval arithmetic
- Interval functions
9 - 14 nov 2016
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 2016
Associating Narrowing Functions to Constraints
- Projection Function and their enclosure
- Constraint Decomposition method
- Constraint Newton method
- Complementary approaches
11 - 5 dec 2016
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 -12 dec 2016
- Modelling Techniques
- Some Languages and Tools
- Typical Benchmarks
- Final Project