Кочемазов Степан Евгеньевич

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

1. Using Backdoors to estimate the hardness of Boolean formulas w.r.t. SAT solving algorithms
   А. А. Семенов, С. Е. Кочемазов
   Вторая конференция Математических центров России. Секция «Математическая логика и теоретическая информатика»
   8 ноября 2022 г. 15:45