Проблемы передачи информации, 2023, T. 59, № 1, стр. 64-70

О проверке выполнимости алгебраических формул над полем из двух элементов

Вялый М.Н.