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