TY  - JOUR
A1  - Rehfeldt, Daniel
A1  - Koch, Thorsten
T1  - Implications, Conflicts, and Reductions for Steiner Trees
T2  - Mathematical Programming
Y1  - 2023
UR  - https://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/8512
VL  - 197
SP  - 903
EP  - 966
PB  - Springer
ER  -