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