@article{RehfeldtKoch2023, author = {Daniel Rehfeldt and Thorsten Koch}, title = {Implications, Conflicts, and Reductions for Steiner Trees}, journal = {Mathematical Programming}, volume = {197}, pages = {903 -- 966}, doi = {10.1007/s10107-021-01757-5}, year = {2023}, }