Summary of Theory Classes

  1      2      3      4      5      6
  7      8      9    10    11    12


1 - 27 Sep 2021
Introduction + Constraint Propagation
  • Examples of decision (making) problems
  • Complexity and the need for search
  • Declarative Modelling with Constraints
  • Constraint Propagation
              slides

2 - 28 Sep 2021
Constraint Propagation
  • Constraint Networks and Consistency Criteria
  • Node- and Arc-consistency
  • Enforcing Algorithms and their Complexity
  • Declarative Languages for Constraint Programming
  • Introduction to Choco
              slides + codes

3 - 12 Oct 2021
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
              slides

4 - 19 Oct 2021
Global Constraints
  • Global constraints
  • Domain-consistency and specialised propagation
  • Global Constraints in Choco (1)
              slides + codes

5 - 25 Oct 2021
Global Constraints (2)
  • Global Constraints in Choco (2)
  • Scheduling Constraints
  • Redundant Constraints
  • Resource Management Constraints
              slides + codes + IIntConstraintFactory
6 - 8 Nov 2021
Heuristic Search
  • Variable and Value selection
  • Static and Dynamic Heuristics
  • Advanced Search Techniques
              slides + codes

7 - 16 Nov 2021
Introduction to Interval Constraints
  • Continuous Constraint Satisfaction Problems
  • Continuous Constraint Reasoning
  • Solving Continuous CSPs
  • Practical Examples
              slides

8 - 22 Nov 2021
Continuous Domains and Interval Arithmetic
  • Representation of continuous domains
  • Interval arithmetic
  • Interval functions
              slides

9 - 29 Nov 2021
Interval Newton Method
  • Newton Method for finding roots of univariate functions
  • Extension of the Newton method
  • Interval Extension of the Newton method
  • Properties of the Interval Newton method
  • Enclosing the zeros of a family of functions
  • Zeros of systems of equations
              slides

10 - 6 Dec 2021
Associating Narrowing Functions to Constraints
   •     Narrowing Functions and their Properties
   •     Narrowing Functions for Single Constraints
         - Constraint Newton Method
         - Constraint Decomposition Method
         - Revise Procedures
   •     Narrowing Functions for Systems of Constraints
         - Multivariate Interval Newton
         - Reformulation Linearization
         - Linear relaxation based on affine arithmetic
         - Corner based Taylor relaxation

              slides

11 - 13 Dec 2021
Constraint Propagation and Constraint Solving
  • Constraint Propagation
  • Local Consistencies
  • Higher Order Consistencies
  • Branch and Prune Algorithm
  • Branching Strategies
  • Branch and Bound Algorithm
  • Modelling Techniques
              slides

12 - 20 Dec 2021
  • Support to Project on Continuous Domains
              Project