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

  2. SAT-Based Circuit Local Improvement

    Куликов, А. С., Печенев, Д. Е. & Слезкин, Н. Е., 1 авг 2022, 47th International Symposium on Mathematical Foundations of Computer Science, MFCS 2022. Szeider, S., Ganian, R. & Silva, A. (ред.). Dagstuhl, Germany: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 15 стр. 68. (Leibniz International Proceedings in Informatics, LIPIcs; том 241).

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

  3. 2021

  4. Minimum common string partition: Exact algorithms

    Cygan, M., Kulikov, A. S., Mihajlin, I., Nikolaev, M. & Reznikov, G., 1 сен 2021, 29th Annual European Symposium on Algorithms, ESA 2021. Mutzel, P., Pagh, R. & Herman, G. (ред.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 35. (Leibniz International Proceedings in Informatics, LIPIcs; том 204).

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

  5. Circuit depth reductions

    Golovnev, A., Kulikov, A. S. & Ryan Williams, R., 1 фев 2021, 12th Innovations in Theoretical Computer Science Conference, ITCS 2021. Lee, J. R. (ред.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 24. (Leibniz International Proceedings in Informatics, LIPIcs; том 185).

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

  6. 2019

  7. Complexity of linear operators

    Kulikov, A. S., Mikhailin, I., Mokhov, A. & Podolskii, V., дек 2019, 30th International Symposium on Algorithms and Computation, ISAAC 2019. Lu, P. & Zhang, G. (ред.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 17. (Leibniz International Proceedings in Informatics, LIPIcs; том 149).

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

  8. Collapsing superstring conjecture

    Golovnev, A., Kulikov, A. S., Logunov, A., Mihajlin, I. & Nikolaev, M., сен 2019, Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques. Achlioptas, D. & Vegh, L. A. (ред.). 26. (Leibniz International Proceedings in Informatics; том 145).

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

  9. Computing Majority by Constant Depth Majority Circuits with Low Fan-in Gates

    Kulikov, A. S. & Podolskii, V. V., июл 2019, в: Theory of Computing Systems. 63, 5, стр. 956-986

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

  10. 2018

  11. On the limits of gate elimination

    Golovnev, A., Hirsch, E. A., Knop, A. & Kulikov, A. S., 1 сен 2018, в: Journal of Computer and System Sciences. 96, стр. 107-119 13 стр.

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

  12. Improving circuit size upper bounds using SAT-solvers

    Kulikov, A. S., 19 апр 2018, Proceedings of the 2018 Design, Automation and Test in Europe Conference and Exhibition, DATE 2018. Institute of Electrical and Electronics Engineers Inc., стр. 305-308 4 стр. (Proceedings of the 2018 Design, Automation and Test in Europe Conference and Exhibition, DATE 2018; том 2018-January).

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

  13. Gate elimination: Circuit size lower bounds and #SAT upper bounds

    Golovnev, A., Kulikov, A. S., Smal, A. V. & Tamaki, S., 6 апр 2018, в: Theoretical Computer Science. 719, стр. 46-63 18 стр.

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

  14. Preface to the Special Issue on Computer Science in Russia 2016

    Kulikov, A. S. & Woeginger, G. J., 1 апр 2018, в: Theory of Computing Systems. 62, 3, стр. 465-466 2 стр.

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

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

ID: 9512817