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

  2. On Optimal Heuristic Randomized Semidecision Procedures, with Applications to Proof Complexity and Cryptography

    Hirsch, E. A., Itsykson, D., Monakhov, I. & Smal, A., 1 авг 2012, в: Theory of Computing Systems. 51, 2, стр. 179-195 17 стр.

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

  3. On an optimal randomized acceptor for graph nonisomorphism

    Hirsch, E. A. & Itsykson, D., 28 фев 2012, в: Information Processing Letters. 112, 5, стр. 166-171 6 стр.

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

  4. 2011

  5. Lower bounds for myopic DPLL algorithms with a cut heuristic

    Itsykson, D. & Sokolov, D., 26 дек 2011, Algorithms and Computation - 22nd International Symposium, ISAAC 2011, Proceedings. стр. 464-473 10 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 7074 LNCS).

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

  6. The complexity of inversion of explicit Goldreich's function by DPLL algorithms

    Itsykson, D. & Sokolov, D., 23 июн 2011, Computer Science - Theory and Applications - 6th International Computer Science Symposium in Russia, CSR 2011, Proceedings. стр. 134-147 14 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 6651 LNCS).

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

  7. 2010

  8. An infinitely-often one-way function based on an average-case assumption

    Hirsch, E. A. & Itsykson, D. M., 1 дек 2010, в: St. Petersburg Mathematical Journal. 21, 3, стр. 459-468 10 стр.

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

  9. On optimal heuristic randomized semidecision procedures, with application to proof complexity

    Hirsch, E. A. & Itsykson, D., 1 дек 2010, STACS 2010 - 27th International Symposium on Theoretical Aspects of Computer Science. стр. 453-464 12 стр. (Leibniz International Proceedings in Informatics, LIPIcs; том 5).

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

  10. Structural complexity of AvgBPP

    Itsykson, D., 1 дек 2010, в: Annals of Pure and Applied Logic. 162, 3, стр. 213-223 11 стр.

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

  11. Lower bound on average-case complexity of inversion of Goldreich's function by drunken backtracking algorithms

    Itsykson, D., 20 июл 2010, Computer Science - Theory and Applications - 5th International Computer Science Symposium in Russia, CSR 2010, Proceedings. стр. 204-215 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 6072 LNCS).

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

  12. 2008

  13. An infinitely-often one-way function based on an average-case assumption

    Hirsch, E. A. & Itsykson, D. M., 28 июл 2008, Logic, Language, Information and Computation - 15th International Workshop, WoLLIC 2008, Proceedings. стр. 208-217 10 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 5110 LNAI).

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

  14. 2007

  15. Lower bounds on static Lovász-Schrijver calculus proofs for Tseitin tautologies

    Itsykson, D. M. & Kojevnikov, A. A., 1 сен 2007, в: Journal of Mathematical Sciences . 145, 3, стр. 4942-4952 11 стр.

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

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

ID: 35825084