Использование решателей задачи выполнимости КНФ (Конъюнктивная Нормальная Форма) в криптоанализе кодовых систем, построенных на QC-MDPC кодахдипломная работа (Магистр)