Institute of Theoretical Informatics, Algorithmics II