"Marek Nesvadba"@cs .