Тычинский В. З. , Матросова А. Ю. , Николаева Е. А. , Провкин В. А. , Гошин Г. Г. «Построение с использованием SAT-решателей схем, маскирующих логические неисправности и вредоносные подсхемы управляющих компонент сложных физических систем» // Известия вузов. Физика 2020. №12 C.114-123
Доронин А. Е. , Калгин К. В. «Применение SAT-решателей для построения булевых функций с заданными криптографическими свойствами» // Прикладная дискретная математика. Приложение 2020. №13 C.129-132
Вы можете добавить статью