11 - 18 out of 18Page size: 10
  1. 2021

  2. A Proof of Bel’tyukov–Lipshitz Theorem by Quasi-Quantifier Elimination. I. Definitions and GCD-Lemma

    Starchak, M. R., Aug 2021, In: Vestnik St. Petersburg University: Mathematics. 54, 3, p. 264–272

    Research output: Contribution to journal › Article › peer-review

  3. Positive Existential Definability with Unit, Addition and Coprimeness

    Старчак, М. Р., 18 Jul 2021, ISSAC 2021 - Proceedings of the 2021 International Symposium on Symbolic and Algebraic Computation. Association for Computing Machinery, p. 353–360 8 p. (Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  4. 2018

  5. Two Classes of Basic DivisibilityFamilies from NP

    Старчак, М. Р., 2018. 3 p.

    Research output: Contribution to conference › Abstract

  6. Некоторые проблемы разрешимости и выразимости для предиката делимости на два последовательных числа

    Старчак, М. Р., 2018, In: КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ. 6, p. 5-15 11 p.

    Research output: Contribution to journal › Article › peer-review

  7. 2017

  8. NP-complete problems for systems of Linear polynomial’s values divisibilities

    Kosovskii, N. K., Kosovskaya, T. M., Kosovskii, N. N. & Starchak, M. R., 1 Apr 2017, In: Vestnik St. Petersburg University: Mathematics. 50, 2, p. 145-152 8 p.

    Research output: Contribution to journal › Article › peer-review

  9. Examples of NP-complete essential restrictions of the SUBSET SUM PROBLEM

    Kosovskii, N. K., Kosovskaya, T. & Starchak, M., 2017, In: International Journal on Information Theory and Applications. 24, 3, p. 279–282

    Research output: Contribution to journal › Article › peer-review

  10. NP- полные задачи о системах делимостей значений линейных выражений

    Косовский, Н. К., Косовская, Т. М., Косовский, Н. Н. & Старчак, М. Р., 2017, In: ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. МАТЕМАТИКА. МЕХАНИКА. АСТРОНОМИЯ. 4(62), 2, p. 236-246

    Research output: Contribution to journal › Article › peer-review

  11. Some NP-Hard Problems for the Simultaneous Coprimeness of Values of Linear Polynomials

    Старчак, М. Р., Косовский, Н. К. & Косовская, Т. М., 2017, In: Global Journal of Computer Science and Technology. 17, 4, p. 21-25 5 p.

    Research output: Contribution to journal › Article › peer-review

Previous 1 2 Next

ID: 223409