Integer linear programming formulation Feasible set characterisation Example of relaxation Computational complexity background Lower bounds Example of branching 1 Example of branching 2 Example of branching 3 Branching in general Branching on circuits 1 Branching on circuits 2 Branching on circuits 3 Branching on circuits 4 Branching on circuits 5 Branching on circuits 6 Branching on circuits 7 Branching on circuits 8 Relaxation Integrality relaxation Scheduling examples Big M method 1 Big M method 2 Column generation model 1 Column generation model 2 Column generation model 3 Lagrangean relaxation 1 Lagrangean relaxation 2 Surrogate relaxation