Full Citation:
Nikolaus Frohner. Advancing State Space Search for Static and Dynamic Optimization by Parallelization and Learning. May 2023, PhD thesis, Institute of Logic and Computation, TU Wien. (Note: supervised by G.~R.~Raidl)