An input variable partitioning algorithm for functional decomposition of a system of Boolean functions based on the tabular method

DOI10.1016/j.dam.2014.12.013zbMath1471.94042OpenAlexW1999630397MaRDI QIDQ2341728

Yuri Pottosin, Saeid Taghavi Afshord, Bahman Arasteh

Publication date: 28 April 2015

Published in: Discrete Applied Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.dam.2014.12.013

zbMATH Keywords

Boolean functionsfunctional decompositioncover mapcompact tablevariable partitioning

Mathematics Subject Classification ID

Switching theory, applications of Boolean algebras to circuits and networks (94C11) Boolean functions (94D10)

Cites Work

• Decomposition of systems of Boolean functions determined by binary decision diagrams
• Decomposition of Boolean functions on the basis of solving logic equations: III
• Unnamed Item
• Unnamed Item

This page was built for publication: An input variable partitioning algorithm for functional decomposition of a system of Boolean functions based on the tabular method