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

  2. Branching programs with bounded repetitions and flow formulas

    Sofronova, A. & Sokolov, D., 1 июл 2021, 36th Computational Complexity Conference, CCC 2021. Kabanets, V. (ред.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 25 стр. 17. (Leibniz International Proceedings in Informatics, LIPIcs; том 200).

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

  3. The power of negative reasoning

    de Rezende, S. F., Lauria, M., Nordström, J. & Sokolov, D., 1 июл 2021, 36th Computational Complexity Conference, CCC 2021. Kabanets, V. (ред.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 24 стр. 40. (Leibniz International Proceedings in Informatics, LIPIcs; том 200).

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

  4. Automating algebraic proof systems is NP-hard

    De Rezende, S. F., Göös, M., Nordström, J., Pitassi, T., Robere, R. & Sokolov, D., 15 июн 2021, STOC 2021 - Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing. Khuller, S. & Williams, V. V. (ред.). Association for Computing Machinery, стр. 209-222 14 стр. (Proceedings of the Annual ACM Symposium on Theory of Computing).

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

  5. 2020

  6. Exponential resolution lower bounds for weak pigeonhole principle and perfect matching formulas over sparse graphs

    de Rezende, S. F., Nordström, J., Risse, K. & Sokolov, D., 1 июл 2020, 35th Computational Complexity Conference, CCC 2020. Saraf, S. (ред.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 28. (Leibniz International Proceedings in Informatics, LIPIcs; том 169).

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

  7. (Semi)Algebraic proofs over {±1} variables

    Sokolov, D., 8 июн 2020, STOC 2020 - Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing. Makarychev, K., Makarychev, Y., Tulsiani, M., Kamath, G. & Chuzhoy, J. (ред.). Association for Computing Machinery, стр. 78-90 13 стр. (Proceedings of the Annual ACM Symposium on Theory of Computing).

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

  8. 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 стр.

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

  9. Resolution over linear equations modulo two

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

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

  10. Trade-offs between size and degree in polynomial calculus

    Lagarde, G., Nordström, J., Sokolov, D. & Swernofsky, J., янв 2020, 11th Innovations in Theoretical Computer Science Conference, ITCS 2020. Vidick, T. (ред.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 72. (Leibniz International Proceedings in Informatics, LIPIcs; том 151).

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

  11. 2019

  12. Adventures in monotone complexity and TFNP

    Göös, M., Kamath, P., Robere, R. & Sokolov, D., 1 янв 2019, 10th Innovations in Theoretical Computer Science, ITCS 2019. Blum, A. (ред.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 38. (Leibniz International Proceedings in Informatics, LIPIcs; том 124).

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

  13. 2018

  14. Monotone circuit lower bounds from resolution

    Garg, A., Kamath, P., Göös, M. & Sokolov, D., 20 июн 2018, STOC 2018 - Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing. Henzinger, M., Kempe, D. & Diakonikolas, I. (ред.). Association for Computing Machinery, стр. 801-814 14 стр. (Proceedings of the Annual ACM Symposium on Theory of Computing).

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

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

ID: 51174656