Специальность ВАК:
01.01.06 (математическая логика, алгебра и теория чисел)
Дата рождения:
25.01.1983
Телефон: +79112409485
Факс: 9112409485
E-mail: Сайт: https://logic.pdmi.ras.ru/~kulikov Ключевые слова: комбинаторика,
алгоритмы для NP-трудных задач,
схемная сложность.
Коды УДК: 510.52, 519.16, 510.633, 519.178, 519.7
Основные темы научной работы:
Комбинаторика, алгоритмы для NP-трудных задач, схемная сложность.
Основные публикации:
Alexander Golovnev, Alexander S. Kulikov, Ivan Mihajlin, “Families with Infants: Speeding Up Algorithms for NP-Hard Problems Using FFT”, ACM Transactions on Algorithms, 12:3 (2016)
A. S. Kulikov, K. Kutzkov, “New Bounds for MAX-SAT by Clause Learning”, Proceedings of the 2nd International Computer Science Symposium in Russia (CSR 2007), LNCS 4649, 2007, 194–204
A. Kojevnikov, A. S. Kulikov, “A New Approach to Proving Upper Bounds for MAX-2-SAT”, Proceedings of the Seventeenth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2006), 2006, 11–17
S. S. Fedin, A. S. Kulikov, “Automated Proofs of Upper Bounds on the Running Time of Splitting Algorithms”, Proceedings of the International Workshop on Parameterized and Exact Computation (IWPEC 2004), LNCS 3162, 2004, 248–259
