alphabetise bib
explain ILP variables
explain ILP variables
move simplification/opt talk, expand explanation of ILP formulation