@inproceedings{ShinanoRehfeldtKoch2019, author = {Yuji Shinano and Daniel Rehfeldt and Thorsten Koch}, title = {Building Optimal Steiner Trees on Supercomputers by Using up to 43,000 Cores}, booktitle = {Integration of Constraint Programming, Artificial Intelligence, and Operations Research. CPAIOR 2019}, volume = {11494}, pages = {529 -- 539}, doi = {10.1007/978-3-030-19212-9_35}, year = {2019}, }