"asymptoticky"@cs .