|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2021 |
1. |
А. В. Ткачев, К. В. Калгин, “DPLL-подобный решатель задачи выполнимости над системой уравнений в АНФ”, ПДМ. Приложение, 2021, № 14, 187–190 |
|
2017 |
2. |
А. В. Ткачев, И. Г. Таранцев, “Автоматическое определение порядка полей в последовательности изображений с чересстрочной разверткой”, Вестник НГУ. Серия: Информационные технологии, 15:2 (2017), 74–84 |
|