Статья Анализ криптографической стойкости хеш-функции SHA-256 при помощи SAT-подхода Давыдов В. В., Пихтовников М. Д., Кирьянова А. П., Заикин О. С.