April 2020, PhD thesis, Institute of Logic and Computation, TU Wien.
Note: supervised by Günther~R.~Raidl
Applied Mathematics and Computation, volume 380, number 125233, 2020.
Discrete Applied Mathematics, volume 228, pages 242-264, 2020.
April 2019, Master’s thesis, TU Wien, Institute of Logic and Computation.
Note: supervised by G. Raidl
2019, Technical report AC-TR-19-007, Algorithms and Complexity Group, TU Wien.