MIP techniques for equilibrium models with integer constraints, Edinburgh, 24.10.2019, Lukas Hümbs