Tutorial: Constraint Optimization and Hybrid Methods
Author: Chris Beck
Material Talk 1:
Video and Material Talk 2:
Content:
Talk 1: Introduction to Constraint Programming
1. Constraint Satisfaction Problems
- Modeling
- Tree Search
- Backtracking
- Inference
2. Inference & Propagation
- Arc Consistency
- Generalized Arc Consistency
- Propagating the All-Different Constraints
3. CP Summary
- Global Constraints
Talk 2: Introduction to Constraint Programming Part II: Two Applications
1. Scheduling Front-room/Back-room Workers
- Modeling & Solving in CP
2. Robots in Retirement Homes
- Modeling & Solving in CP
About the author:
Chris Beck is a professor at Industrial Engineering Department of University of Toronto.