Ruthmair, Mario. On Solving Constrained Tree Problems and an Adaptive Layers Framework. pages 187, May 2012, PhD thesis, Vienna University of Technology, Institute of Computer Graphics and Algorithms. (Note: supervised by G.~R.~Raidl and U.~Pferschy)