A. Schidler: "A Solver for the Steiner Tree Problem with few Terminals"; Supervisor: S. Woltran, J. Fichte; Institute of Logic and Computation, 2018; final examination: 2018-11-12.