Functions from Schaefer classes having negations belonging to other Schaefer classes

DOI10.4213/MVK166MaRDI QIDQ5152404zbMATH OpenOpenAlexFDO

Authors S. P. Gorshkov

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/mvk166

zbMATH Keywords

2-CNFHorn's Boolean functionsmultiaffine Boolean functionssystems of Boolean equations

Mathematics Subject Classification ID

Boolean functions (94D10)

Recommendations

• Recognition complexity for Schaefer classes
• Investigation of some subclasses of multiaffine, bijunctive, weakly positive and weakly negative Boolean functions
• On the complexity of the satisfiability problem for a system of functional Boolean equations
• Approximation of Boolean functions to Schaefer's classes
• scientific article; zbMATH DE number 6004972

Cites work

• The complexity of satisfiability problems

Cited in

(2)

• Recognition complexity for Schaefer classes
• Investigation of some subclasses of multiaffine, bijunctive, weakly positive and weakly negative Boolean functions

This page was built for publication: Functions from Schaefer classes having negations belonging to other Schaefer classes

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