Г. С. Цейтин, “О сложности вывода в исчислении высказываний”, Исследования по конструктивной математике и математической логике. II, Зап. научн. сем. ЛОМИ, 8, Изд-во «Наука», Ленинград. отд., Л., 1968, 234

Эта публикация цитируется в следующих 26 статьяx:

К. В. Антонов, А. А. Семёнов, И. В. Отпущенников, А. Л. Павленко, “Алгебраические атаки на некоторые низкоресурсные шифры на основе функций с малым числом выходных бит”, ПДМ. Приложение, 2024, № 17, 57–63
С. Н. Артемов, Л. Д. Беклемишев, Л. Я. Боркин, А. М. Вершик, Э. А. Гирш, Е. Я. Данцин, И. А. Ибрагимов, Е. В. Кальменс, В. Я. Крейнович, Д. А. Кубенский, А. А. Лодкин, Ю. В. Матиясевич, Б. А. Новиков, В. П. Оревков, А. Л. Семенов, А. О. Слисенко, А. Х. Шень, “Григорий Самуилович Цейтин (некролог)”, УМН, 78:3(471) (2023), 170–176 ; S. N. Artemov, L. D. Beklemishev, L. Ya. Borkin, A. M. Vershik, E. A. Hirsch, E. Ya. Dantsin, I. A. Ibragimov, E. V. Kalmens, V. Ya. Kreinovich, D. A. Koubenski, A. A. Lodkin, Yu. V. Matiyasevich, B. A. Novikov, V. P. Orevkov, A. L. Semenov, A. O. Slissenko, A. Kh. Shen, “Gregory Samuilovich Tseytin (obituary)”, Russian Math. Surveys, 78:3 (2023), 555–561
А. А. Семёнов, “Оценки трудности доказательств и криптографических атак, основанных на лазейках”, ПДМ. Приложение, 2023, № 16, 87–95
А. Е. Доронин, К. В. Калгин, “Применение SAT-решателей к задаче поиска векторных булевых функций с требуемыми криптографическими свойствами”, Дискретн. анализ и исслед. опер., 29:4 (2022), 38–58
К. В. Антонов, А. А. Семёнов, “Применение SAT-оракулов для генерации дополнительных линейных ограничений в задачах криптоанализа некоторых легковесных шифров”, ПДМ. Приложение, 2020, № 13, 114–119
И. А. Грибанова, А. А. Семёнов, “Применение инверсных лазеек для построения атак из класса «угадывай и определяй» на хеш-функции семейства MD4”, ПДМ. Приложение, 2020, № 13, 124–129
Е. Г. Белей, А. А. Семенов, “О способах пропозиционального кодирования различимости объектов в конечных множествах”, Известия Иркутского государственного университета. Серия Математика, 28 (2019), 3–20
А. А. Семёнов, “Атаки из класса “угадывай и определяй” и автоматические способы их построения”, ПДМ. Приложение, 2018, № 11, 81–86
Д. Е. Горбатенко, А. А. Семёнов, “Противодействие сговору в дискретных динамических моделях компьютерных сетей”, УБС, 75 (2018), 76–102
А. А. Евдокимов, С. Е. Кочемазов, И. В. Отпущенников, А. А. Семёнов, “Исследование дискретно-автоматных моделей генных сетей нерегулярной структуры методами символьных вычислений”, Дискретн. анализ и исслед. опер., 21:3 (2014), 25–40 ; A. A. Evdokimov, S. E. Kochemazov, I. V. Otpushennikov, A. A. Semenov, “Analysis of discrete automaton models of gene networks with irregular structure using symbolic algorithms”, J. Appl. Industr. Math., 8:3 (2014), 307–316
Itsykson D., “Lower Bound on Average-Case Complexity of Inversion of Goldreich's Function by Drunken Backtracking Algorithms”, Theor. Comput. Syst., 54:2 (2014), 261–276
А. А. Семёнов, С. Е. Кочемазов, “О дискретно-автоматных моделях конформного поведения”, УБС, 46 (2013), 266–292
О. С. Заикин, А. А. Семёнов, М. А. Посыпкин, “Процедуры построения декомпозиционных множеств для распределенного решения sat-задач в проекте добровольных вычислений sat@home”, УБС, 43 (2013), 138–156
D. M. Itsykson, D. O. Sokolov, “The complexity of inversion of explicit Goldreich's function by DPLL algorithms”, Теория сложности вычислений. X, Зап. научн. сем. ПОМИ, 399, ПОМИ, СПб., 2012, 88–108 ; J. Math. Sci. (N. Y.), 188:1 (2013), 47–58
А. А. Семенов, О. С. Заикин, “Алгоритмы построения декомпозиционных множеств для крупноблочного распараллеливания SAT-задач”, Известия Иркутского государственного университета. Серия Математика, 5:4 (2012), 79–94
И. В. Отпущенников, А. А. Семёнов, “Технология трансляции комбинаторных проблем в булевы уравнения”, ПДМ, 2011, № 1(11), 96–115
И. В. Отпущенников, А. А. Семёнов, “Преобразования алгоритмов вычисления дискретных функций в булевы уравнения”, Известия Иркутского государственного университета. Серия Математика, 4:1 (2011), 83–96
А. С. Игнатьев, А. А. Семенов, “Алгоритмы работы с ROBDD как с базами булевых ограничений”, ПДМ, 2010, № 1(7), 86–104
А. А. Семёнов, “О преобразованиях Цейтина в логических уравнениях”, ПДМ, 2009, № 4(6), 28–50
А. А. Семенов, “О преобразованиях Цейтина в логических уравнениях”, ПДМ, 2009, приложение к № 1, 12–13