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