If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Александр Сергеевич Куликов is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 2 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects

Research Output

Collapsing superstring conjecture

Golovnev, A., Kulikov, A. S., Logunov, A., Mihajlin, I. & Nikolaev, M., Sep 2019, Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques. Achlioptas, D. & Vegh, L. A. (eds.). 26. (Leibniz International Proceedings in Informatics; vol. 145).

Research outputpeer-review

  • Gate elimination: Circuit size lower bounds and #SAT upper bounds

    Golovnev, A., Kulikov, A. S., Smal, A. V. & Tamaki, S., 6 Apr 2018, In : Theoretical Computer Science. 719, p. 46-63 18 p.

    Research output

  • 1 Citation (Scopus)

    Improving circuit size upper bounds using SAT-solvers

    Kulikov, A. S., 19 Apr 2018, Proceedings of the 2018 Design, Automation and Test in Europe Conference and Exhibition, DATE 2018. Institute of Electrical and Electronics Engineers Inc., p. 305-308 4 p. (Proceedings of the 2018 Design, Automation and Test in Europe Conference and Exhibition, DATE 2018; vol. 2018-January).

    Research outputpeer-review

  • Lower bounds for unrestricted boolean circuits: Open problems

    Kulikov, A. S., 1 Jan 2018, Computer Science - Theory and Applications - 13th International Computer Science Symposium in Russia, CSR 2018, Proceedings. Podolskii, V. V. & Fomin, F. V. (eds.). Springer, p. 15-22 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10846 LNCS).

    Research outputpeer-review