Advanced Discrete Optimisation

Integer optimization: Polyhedral theory; Cutting planes; Gomory mixed-integer cuts, split cuts and their relation; Lift-and-project;

IP in fixed dimension: Lattices and basis reduction;

Parameterized complexity: fixed-parameter tractability, bounded search, kernelization, dynamic programming, treewidth, color coding, iterative compression, hardness results.

Applications in phylogenetics: phylogenetic trees, agreement forests, SPR distance, phylogenetic networks