Cвойства систем образующих универсальных алгебр, порождаемых булевыми биюнктивными функциями

DOI10.4213/mvk57zbMath1477.08009OpenAlexW2793508073MaRDI QIDQ4959044

Alexey V. Tarasov

Publication date: 15 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/mvk57

zbMATH Keywords

universal algebra2-CNFbijunctive function

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Boolean functions (06E30)

Cites Work

• Unnamed Item
• A linear-time algorithm for testing the truth of certain quantified Boolean formulas
• On properties of functions representable in the form of a 2-CNF
• Универсальные алгебры, порождаемые множествами выполняющих векторов биюнктивных и $r$-юнктивных булевых функций

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