12 citations to https://www.mathnet.ru/rus/znsl1427
-
Peter Jonsson, Victor Lagerkvist, “An initial study of time complexity in infinite-domain constraint satisfaction”, Artificial Intelligence, 245 (2017), 115
-
Peter Jonsson, Victor Lagerkvist, Lecture Notes in Computer Science, 9255, Principles and Practice of Constraint Programming, 2015, 183
-
В. В. Быкова, “Об асимптотике решений рекуррентных соотношений в анализе алгоритмов расщепления для пропозициональной выполнимости”, ПДМ. Приложение, 2013, № 6, 112–116
-
В. В. Быкова, “Об асимптотике решений рекуррентных соотношений специального вида и технике Кульмана–Люкхардта”, ПДМ, 2013, № 4(22), 56–66
-
А. А. Кожевников, С. И. Николенко, “О полных односторонних функциях”, Пробл. передачи информ., 45:2 (2009), 101–118
; A. A. Kozhevnikov, S. I. Nikolenko, “On complete one-way functions”, Problems Inform. Transmission, 45:2 (2009), 168–183
-
Колоколов А.А., Адельшин А.В., Ягофарова Д.И., “Решение задачи выполнимости с использованием метода перебора L-классов”, Информационные технологии, 2009, № 2, 54–59
-
Vsemirnov M., “Automorphisms of projective spaces and min-wise independent sets of permutations”, SIAM J. Discrete Math., 18:3 (2005), 592–607
-
Hirsch E.A., Kojevnikov A., “UnitWalk: a new SAT solver that uses local search guided by unit clause elimination”, Ann. Math. Artif. Intell., 43:1-4 (2005), 91–111
-
Edward A. Hirsch, Arist Kojevnikov, “UnitWalk: A new SAT solver that uses local search guided by unit clause elimination”, Ann Math Artif Intell, 43:1-4 (2005), 91
-
В. Баргачев, “Некоторые свойства независимых относительно минимума семейств и групп перестановок”, Теория сложности вычислений. IX, Зап. научн. сем. ПОМИ, 316, ПОМИ, СПб., 2004, 30–41
; V. Bargachev, “On some properties of min-wise independent families and groups of permutations”, J. Math. Sci. (N. Y.), 134:5 (2006), 2340–2345