On solvability of Boolean equations

MaRDI QIDQ3161307zbMATH OpenFDO

Authors A. D. Zakrevskij

Publication date 14 October 2010

Mathematics Subject Classification ID

Boolean functions (06E30)

Recommendations

• scientific article; zbMATH DE number 1953357
• scientific article; zbMATH DE number 588398
• scientific article; zbMATH DE number 4116598
• On the complexity of the satisfiability problem for a system of functional Boolean equations
• Implicit Boolean equations.

Cited in

(14)

• Unique solutions of Boolean ring equations
• The Boolean solution problem from the perspective of predicate logic
• scientific article; zbMATH DE number 6004972 (Why is no real title available?)
• scientific article; zbMATH DE number 3849128 (Why is no real title available?)
• scientific article; zbMATH DE number 3957103 (Why is no real title available?)
• scientific article; zbMATH DE number 579696 (Why is no real title available?)
• scientific article; zbMATH DE number 1953357 (Why is no real title available?)
• scientific article; zbMATH DE number 1775499 (Why is no real title available?)
• Solving Boolean equations using ROSOP forms
• scientific article; zbMATH DE number 2090051 (Why is no real title available?)
• On the complexity of finding the number of solutions of systems of Boolean equations
• Tools and Algorithms for the Construction and Analysis of Systems
• scientific article; zbMATH DE number 3285194 (Why is no real title available?)
• On the suppression of variables in Boolean equations

This page was built for publication: On solvability of Boolean equations

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