1. On the complexity of formulas in semantic programming

    Ospichev, S. & Ponomarev, D., 1 янв. 2018, в: Сибирские электронные математические известия. 15, стр. 987-995 9 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  2. On the complexity of semantic integration of OWL ontologies

    Kazakov, Y. & Ponomaryov, D., 1 янв. 2017, в: CEUR Workshop Proceedings. 1879

    Результаты исследований: Научные публикации в периодических изданияхстатья по материалам конференцииРецензирование

  3. On the Complexity of Some Problems of Searching for a Family of Disjoint Clusters

    Kel’manov, A. V., Pyatkin, A. V. & Khandeev, V. I., 1 янв. 2019, в: Doklady Mathematics. 99, 1, стр. 52-56 5 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  4. On the Complexity of Some Quadratic Euclidean Partition Problems into Balanced Clusters

    Kel’manov, A., Khandeev, V. & Pyatkin, A., 1 янв. 2020, Optimization and Applications - 10th International Conference, OPTIMA 2019, Revised Selected Papers. Jaćimović, M., Khachay, M., Malkova, V. & Posypkin, M. (ред.). Springer Gabler, стр. 127-136 10 стр. (Communications in Computer and Information Science; том 1145 CCIS).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

  5. On the differential equivalence of APN functions

    Gorodilova, A., 15 июл. 2019, в: Cryptography and Communications. 11, 4, стр. 793-813 21 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  6. On the Relationship Between the Complexity of Decidability and Decomposability of First-Order Theories

    Ponomaryov, D., дек. 2021, в: Lobachevskii Journal of Mathematics. 42, 12, стр. 2905-2912 8 стр., 24.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  7. Optimal-size problem kernels for d-Hitting Set in linear time and space

    van Bevern, R. & Smirnov, P. V., 1 нояб. 2020, в: Information Processing Letters. 163, 9 стр., 105998.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  8. Parallel Factorization of Boolean Polynomials

    Kulkarni, V., Emelyanov, P., Ponomaryov, D., Krishna, M., Raha, S. & Nandy, S. K., 16 дек. 2019, (Электронная публикация перед печатью) Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers. Bjørner, N., Virbitskaite, I. & Voronkov, A. (ред.). Springer International Publishing AG, стр. 80-94 15 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11964 LNCS).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

  9. Parameterized algorithms and data reduction for safe convoy routing

    Van Bevern, R., Fluschnik, T. & Tsidulko, O. Y., 1 авг. 2018, 18th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems, ATMOS 2018. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Том 65. 10

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

  10. Parameterized algorithms and data reduction for the short secluded s-t-path problem

    van Bevern, R., Fluschnik, T. & Tsidulko, O. Y., янв. 2020, в: Networks. 75, 1, стр. 34-63 30 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

ID: 3087360