TY - THES A1 - Gottwald, Robert Lion T1 - Experiments with Concurrency and Heuristics in SCIP Y1 - 2016 ER -