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

  2. Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis

    Averkov, D., Belova, T., Emdin, G., Goncharov, M., Krivogornitsyna, V., Kulikov, A. S., Kurmazov, F., Levtsov, D., Levtsov, G., Vaskin, V. & Vorobiev, A., 2025, в: Proceedings of the AAAI Conference on Artificial Intelligence. 39, 11, стр. 11105-11112 8 стр.

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

  3. 2022

  4. 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: Dagstuhl Publishing, 15 стр. 68. (Leibniz International Proceedings in Informatics, LIPIcs; том 241).

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

  5. 2021

  6. 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. (ред.). Dagstuhl Publishing, 35. (Leibniz International Proceedings in Informatics, LIPIcs; том 204).

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

  7. 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. (ред.). Dagstuhl Publishing, 24. (Leibniz International Proceedings in Informatics, LIPIcs; том 185).

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

  8. 2019

  9. 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. (ред.). Dagstuhl Publishing, 17. (Leibniz International Proceedings in Informatics, LIPIcs; том 149).

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

  10. 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).

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

  11. 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

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

  12. 2018

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

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

  14. 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).

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

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

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

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

ID: 9512817