Institute of Theoretical Informatics, Algorithmics