M. Hecher: "Advanced Tools and Methods for Treewidth-Based Problem Solving"; Supervisor, Reviewer: S. Woltran, T. Schaub; 192-02, 2021; oral examination: 2021-07-29.