Schaefer classes, Post classes and Galois connections

DOI10.4213/MVK152MaRDI QIDQ5152379zbMATH OpenOpenAlexFDO

Authors V. S. Litvinenko, 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/mvk152

zbMATH Keywords

Boolean functionBoolean predicateGalois connectionsPost classesSchaefer classesuniversal algebra

Mathematics Subject Classification ID

Boolean functions (94D10)

Recommendations

• scientific article; zbMATH DE number 1544631
• scientific article; zbMATH DE number 3906400
• Post classes characterized by functional terms
• Стабилизаторы некоторых семейств булевых функций, образующих Галуа-замкнутые подалгебры алгебры Шефера
• The stabilizers of certain families of Boolean functions of n variables that form a Galois-closed subalgebra of the Schaefer algebra. II

Cites work

• Complexity classifications of Boolean constraint satisfaction problems
• scientific article; zbMATH DE number 1429565 (Why is no real title available?)
• scientific article; zbMATH DE number 3271554 (Why is no real title available?)
• scientific article; zbMATH DE number 3336786 (Why is no real title available?)
• The complexity of satisfiability problems

Cited in

(3)

• The stabilizers of certain families of Boolean functions of n variables that form a Galois-closed subalgebra of the Schaefer algebra. II
• scientific article; zbMATH DE number 3924776 (Why is no real title available?)
• Стабилизаторы некоторых семейств булевых функций, образующих Галуа-замкнутые подалгебры алгебры Шефера

This page was built for publication: Schaefer classes, Post classes and Galois connections

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5152379)