Ivannikov Institute for System Programming of the Russian Academy of Sciences
Moscow, Moskva, Russia
Keldysh Institute of Applied Mathematics