@inproceedings{RehfeldtKoch2021, author = {Daniel Rehfeldt and Thorsten Koch}, title = {Implications, conflicts, and reductions for Steiner trees}, booktitle = {Integer Programming and Combinatorial Optimization: 22th International Conference, IPCO 2021}, pages = {473 -- 487}, doi = {10.1007/978-3-030-73879-2_33}, year = {2021}, }