AND-decomposition of Boolean polynomials with prescribed shared variables

DOI10.1007/978-3-319-29221-2_14MaRDI QIDQ2795943zbMATH OpenOpenAlexFDO

Authors Pavel Emelyanov

Publication date 23 March 2016

Published in Algorithms and Discrete Applied Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-29221-2_14

zbMATH Keywords

AND-decomposition of Boolean functionscombinatorial optimizationdisjoint decompositionfactoring polynomials over finite fieldssharing prescribed variables between decomposition components

Mathematics Subject Classification ID

Boolean functions (06E30) Analysis of algorithms and problem complexity (68Q25) Analysis of algorithms (68W40)

Recommendations

• Algorithmic issues of AND-decomposition of Boolean formulas
• The complexity of AND-decomposition of Boolean functions
• On tractability of disjoint AND-decomposition of Boolean formulas
• scientific article; zbMATH DE number 4202197
• A method for bi-decomposition of partial Boolean functions

Cites work

• Algorithmic issues of AND-decomposition of Boolean formulas
• Decomposition of Boolean functions
• Equivalence of polynomial identity testing and polynomial factorization
• Exploiting functional properties of Boolean functions for optimal multi-level design by bi-decomposition
• Modern computer algebra
• On decomposability in logical calculi
• On the relation between polynomial identity testing and finding variable disjoint factors
• On tractability of disjoint AND-decomposition of Boolean formulas
• The complexity of modular decomposition of Boolean functions

Cited in

(4)

• The complexity of AND-decomposition of Boolean functions
• Algorithmic issues of AND-decomposition of Boolean formulas
• On tractability of disjoint AND-decomposition of Boolean formulas
• scientific article; zbMATH DE number 3557812 (Why is no real title available?)

This page was built for publication: AND-decomposition of Boolean polynomials with prescribed shared variables

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