Ткачев Александр Витальевич

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

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