Dominik Schultes
Doctoral thesis, Fakultät für Informatik, Universität Karlsruhe (TH), Germany, final version, February 2008.