Institut für Theoretische Informatik, Algorithmik