Стабилизаторы некоторых семейств булевых функций, образующих Галуа-замкнутые подалгебры алгебры Шефера

DOI10.4213/mvk170zbMath1476.94078OpenAlexW2791402734MaRDI QIDQ5152408

Alexey V. Tarasov

Publication date: 20 September 2021

Published in: Matematicheskie Voprosy Kriptografii [Mathematical Aspects of Cryptography] (Search for Journal in Brave)

Full work available at URL: http://mathnet.ru/eng/mvk170

zbMATH Keywords

Boolean functionSchaefer classesGalois correspondenciespost classes

Mathematics Subject Classification ID

Boolean functions (94D10)

Cites Work

• Complexity Classifications of Boolean Constraint Satisfaction Problems
• Maximal groups of invariant transformations of multiaffine, bijunctive, weakly positive, and weakly negative Boolean functions
• Классы Шефера, классы Поста и соответствия Галуа
• The complexity of satisfiability problems
• Unnamed Item
• Unnamed Item

This page was built for publication: Стабилизаторы некоторых семейств булевых функций, образующих Галуа-замкнутые подалгебры алгебры Шефера