Gnägi, Mario (2020) Models and Matheuristics for Large-Scale Combinatorial Optimization Problems thesis.