Matthew Kitching

Exploiting Decomposition on Constraint Problems with High Tree-Width

Set Branching in Constraint Optimization

Symmetric Component Caching