Propagate and Branch

- Finite Domains and Constraints
- Constraint Propagation
- Spaces, Propagators, and Constraint Stores
- Interval and Domain Propagation
- Incompleteness of Propagation
- Branching and Search Trees
- An Example
- Branching Strategies
- Search Order

Andreas Rossberg 2006-08-28