1: Bloom maps 2: On a Clique-Based Integer Programming Formulation of Vertex Colouring with Applications in Course Timetabling 3: On the Complexity of Spill Everywhere under SSA Form