TY - THES A1 - Gottwald, Robert Lion T1 - Experiments with Concurrency and Heuristics in SCIP Y1 - 2016 UR - https://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/6291 ER -