TY - CONF A1 - Shinano, Yuji A1 - Achterberg, Tobias A1 - Berthold, Timo A1 - Heinz, Stefan A1 - Koch, Thorsten A2 - Bischof, Christian A2 - Hegering, Heinz-Gerd A2 - Nagel, Wolfgang A2 - Wittum, Gabriel T1 - ParaSCIP: a parallel extension of SCIP T2 - Competence in High Performance Computing 2010 Y1 - 2012 UR - https://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/3270 SP - 135 EP - 148 PB - Springer ER -