"Jakub Soukup"@cs .