Доронин А. Е. Применение SAT-решателей для построения булевых функций с заданными криптографическими свойствами / А. Е. Доронин, К. В. Калгин // Прикладная дискретная математика. Приложение. 2020. № 13. С. 129-132. URL: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000723850