Применение SAT-решателей для построения булевых функций с заданными криптографическими свойствами...

by Доронин, Артемий Евгеньевич
Published in Прикладная дискретная математика. Приложение