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