Семенов Александр Анатольевич

Доклады и лекции в базе данных Math-Net.Ru

1. Using Backdoors to estimate the hardness of Boolean formulas w.r.t. SAT solving algorithms
   А. А. Семенов, С. Е. Кочемазов
   Вторая конференция Математических центров России. Секция «Математическая логика и теоретическая информатика»
   8 ноября 2022 г. 15:45   
2. Применение метаэвристических алгоритмов псевдобулевой оптимизации к поиску линеаризующих множеств в криптоанализе криптографических генераторов
   К. В. Антонов, А. А. Семенов
   Международная школа-семинар "Синтаксис и семантика логических систем"
   12 августа 2019 г. 12:30