Institute of Theoretical Informatics, Algorithmics

todo