"algoritmiky"@cs .