Баротов, Д.Н. Об одном приведении системы булевых уравнений к эквивалентной системе полиномиальных уравнений / Д.Н. Баротов, Р.Н. Баротов // Математические структуры и моделирование. – 2024. – № 1. — С. 5-17. — Только в электронном виде. — <URL:http://elib.fa.ru/art2024/bv946.pdf>.

Record create date: 2/27/2025

Subject: булевы функции; система булевых уравнений; эквивалентная система; полиномиальные уравнения; бесконечно дифференцируемая рациональная функция; методы оптимизации; глобальная оптимизация; алгоритм F4; алгоритм SAT; компьютерная программа; задачи исследования операций; алгебраический криптоанализ; междисциплинарный подход; полный текст