Container fundamentals

Scheduling problems

Decomposition

Preprocessing

Clique and near-clique detection

Symmetry elimination

Split cuts

Constraint programming / logic-based optimization