SCIP-Jack - a solver for STP and variants with parallelization extensions: an update - Rehfeldt, Daniel (Verfasser); Koch, Thorsten (Verfasser); Zuse Institut Berlin (Herausgebendes Organ) (ZIB-Report, 2018)