Rights statement: The final publication is available at Springer via http://dx.doi.org/10.1007/s12532-016-0114-x
Accepted author manuscript, 526 KB, PDF document
Available under license: CC BY-NC: Creative Commons Attribution-NonCommercial 4.0 International License
Final published version
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Research output: Contribution to Journal/Magazine › Journal article › peer-review
}
TY - JOUR
T1 - SCIP-Jack - A solver for STP and variants with parallelization extensions
AU - Gamrath, Gerald
AU - Koch, Thorsten
AU - Maher, Stephen
AU - Rehfeldt, Daniel
AU - Shinano, Yuji
N1 - The final publication is available at Springer via http://dx.doi.org/10.1007/s12532-016-0114-x
PY - 2017/6
Y1 - 2017/6
N2 - The Steiner tree problem in graphs is a classical problem that commonly arises in practical applications as one of many variants. While often a strong relationship between different Steiner tree problem variants can be observed, solution approaches employed so far have been prevalently problem-specific. In contrast, this paper introduces a general-purpose solver that can be used to solve both the classical Steiner tree problem and many of its variants without modification. This versatility is achieved by transforming various problem variants into a general form and solving them by using a state-of-the-art MIP-framework. The result is a high-performance solver that can be employed in massively parallel environments and is capable of solving previously unsolved instances.
AB - The Steiner tree problem in graphs is a classical problem that commonly arises in practical applications as one of many variants. While often a strong relationship between different Steiner tree problem variants can be observed, solution approaches employed so far have been prevalently problem-specific. In contrast, this paper introduces a general-purpose solver that can be used to solve both the classical Steiner tree problem and many of its variants without modification. This versatility is achieved by transforming various problem variants into a general form and solving them by using a state-of-the-art MIP-framework. The result is a high-performance solver that can be employed in massively parallel environments and is capable of solving previously unsolved instances.
U2 - 10.1007/s12532-016-0114-x
DO - 10.1007/s12532-016-0114-x
M3 - Journal article
VL - 9
SP - 231
EP - 296
JO - Mathematical Programming Computation
JF - Mathematical Programming Computation
SN - 1867-2949
IS - 2
ER -