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

  2. Computational and Proof Complexity of Partial String Avoidability

    Itsykson, D., Okhotin, A. & Oparin, V., мар 2021, в: ACM Transactions on Computation Theory. 13, 1, 25 стр., 3442365.

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

  3. 2020

  4. On obdd-based algorithms and proof systems that dynamically change the order of variables

    Itsykson, D., Knop, A., Romashchenko, A. & Sokolov, D., июн 2020, в: Journal of Symbolic Logic. 85, 2, стр. 632-670 39 стр.

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

  5. Resolution over linear equations modulo two

    Itsykson, D. & Sokolov, D., янв 2020, в: Annals of Pure and Applied Logic. 171, 1, 31 стр., 102722.

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

  6. 2019

  7. Bounded-depth frege complexity of tseitin formulas for all graphs

    Galesi, N., Itsykson, D., Riazanov, A. & Sofronova, A., авг 2019, 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019. Katoen, J-P., Heggernes, P. & Rossmanith, P. (ред.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 49. (Leibniz International Proceedings in Informatics, LIPIcs; том 138).

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

  8. On tseitin formulas, read-once branching programs and treewidth

    Glinskih, L. & Itsykson, D., 1 янв 2019, Computer Science – Theory and Applications - 14th International Computer Science Symposium in Russia, CSR 2019, Proceedings. van Bevern, R. & Kucherov, G. (ред.). Springer Nature, стр. 143-155 13 стр. (Lecture Notes in Computer Science; том 11532).

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

  9. 2018

  10. Reordering rule makes OBDD proof systems stronger

    Buss, S., Itsykson, D., Knop, A. & Sokolov, D., 1 июн 2018, 33rd Computational Complexity Conference, CCC 2018. Servedio, R. A. (ред.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, стр. 161-1624 1464 стр. (Leibniz International Proceedings in Informatics, LIPIcs; том 102).

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

  11. 2017

  12. Satisfiable tseitin formulas are hard for nondeterministic read-once branching programs

    Glinskih, L. & Itsykson, D., 1 ноя 2017, 42nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2017. Larsen, K. G., Raskin, J-F. & Bodlaender, H. L. (ред.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, (Leibniz International Proceedings in Informatics, LIPIcs; том 83).

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

  13. On OBDD-based algorithms and proof systems that dynamically change order of variables

    Itsykson, D., Knop, A., Romashchenko, A. & Sokolov, D., 1 мар 2017, 34th Symposium on Theoretical Aspects of Computer Science, STACS 2017. Vallee, B. & Vollmer, H. (ред.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 43. (Leibniz International Proceedings in Informatics, LIPIcs; том 66).

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

  14. Hard satisfiable formulas for splittings by linear combinations

    Itsykson, D. & Knop, A., 1 янв 2017, Theory and Applications of Satisfiability Testing – SAT 2017 - 20th International Conference, Proceedings. Gaspers, S. & Walsh, T. (ред.). Springer Nature, стр. 53-61 9 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10491 LNCS).

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

  15. 2016

  16. Complexity of distributions and average-case hardness

    Itsykson, D., Knop, A. & Sokolov, D., 1 дек 2016, 27th International Symposium on Algorithms and Computation, ISAAC 2016. Hong, S-H. (ред.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, стр. 38.1-38.12 (Leibniz International Proceedings in Informatics, LIPIcs; том 64).

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

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

ID: 35825084