11 - 20 из 32Размер страницы: 10
Сортировать по:: Год публикации
  1. 2016

  2. Computational and proof complexity of partial string avoidability

    Itsykson, D., Okhotin, A. & Oparin, V., 1 авг 2016, 41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016. Muscholl, A., Faliszewski, P. & Niedermeier, R. (ред.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 51. (Leibniz International Proceedings in Informatics, LIPIcs; том 58).

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

  3. Tight Lower Bounds on the Resolution Complexity of Perfect Matching Principles

    Itsykson, D., Oparin, V., Slabodkin, M. & Sokolov, D., 1 янв 2016, в: Fundamenta Informaticae. 145, 3, стр. 229-242 14 стр.

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

  4. 2015

  5. Heuristic time hierarchies via hierarchies for sampling distributions

    Itsykson, D., Knop, A. & Sokolov, D., 1 янв 2015, Algorithms and Computation - 26th International Symposium, ISAAC 2015, Proceedings. Elbassioni, K. & Makino, K. (ред.). Springer Nature, стр. 201-211 11 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 9472).

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

  6. Resolution complexity of perfect matching principles for sparse graphs

    Itsykson, D., Slabodkin, M. & Sokolov, D., 1 янв 2015, Computer Science - Theory and Applications - 10th International Computer Science Symposium in Russia, CSR 2015, Proceedings. Beklemishev, L. D., Musatov, D. V. & Musatov, D. V. (ред.). Springer Nature, стр. 219-230 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 9139).

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

  7. 2014

  8. Lower Bound on Average-Case Complexity of Inversion of Goldreich's Function by Drunken Backtracking Algorithms

    Itsykson, D., 1 фев 2014, в: Theory of Computing Systems. 54, 2, стр. 261-276 16 стр.

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

  9. Lower bounds for splittings by linear combinations

    Itsykson, D. & Sokolov, D., 1 янв 2014, Mathematical Foundations of Computer Science 2014 - 39th International Symposium, MFCS 2014, Proceedings. PART 2 ред. Springer Nature, стр. 372-383 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 8635 LNCS, № PART 2).

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

  10. On fast heuristic non-deterministic algorithms and short heuristic proofs

    Itsykson, D. & Sokolov, D., 2014, в: Fundamenta Informaticae. 132, 1, стр. 113-129 17 стр.

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

  11. 2013

  12. Graph expansion, tseitin formulas and resolution proofs for CSP

    Itsykson, D. & Oparin, V., 29 ноя 2013, Computer Science - Theory and Applications - 8th International Computer Science Symposium in Russia, CSR 2013. стр. 162-173 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 7913 LNCS).

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

  13. Optimal heuristic algorithms for the image of an injective function

    Hirsch, E. A., Itsykson, D. M., Nikolaenko, V. O. & Smal, A. V., 1 янв 2013, в: Journal of Mathematical Sciences (United States). 188, 1, стр. 7-16 10 стр.

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

  14. The complexity of inverting explicit Goldreich's function by DPLL algorithms

    Itsykson, D. M. & Sokolov, D. O., 1 янв 2013, в: Journal of Mathematical Sciences (United States). 188, 1, стр. 47-58 12 стр.

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

Назад 1 2 3 4 Далее

ID: 35825084