Decomposing a system of Boolean functions into subsystems of connected functions

DOI10.1134/S1064230719020059MaRDI QIDQ2290478zbMATH OpenOpenAlexWikidataFDO

Authors P. N. Bibilo

Publication date 28 January 2020

Published in Journal of Computer and Systems Sciences International (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1134/s1064230719020059

Mathematics Subject Classification ID

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

Recommendations

• Decomposition of systems of Boolean functions determined by binary decision diagrams
• Decomposition of a system of incompletely specified Boolean functions defined with a binary decision diagram
• Series parallel decomposition of a system of incompletely specified Boolean functions
• Experimental comparison of decomposition methods for systems of Boolean function
• Decomposition of Boolean functions applying the apparatus of Boolean derivatives

Cites work

• scientific article; zbMATH DE number 3902554 (Why is no real title available?)
• The art of computer programming. Volume 4A. Combinatorial algorithms. Part 1.

Cited in

(8)

• Experimental comparison of decomposition methods for systems of Boolean function
• An input variable partitioning algorithm for functional decomposition of a system of Boolean functions based on the tabular method
• A new approach to the decomposition of Boolean functions by the method of q-partitions. III: Joint decomposition of a function system
• Sequential decomposition of the Boolean function: search for a suitable partition on a set of arguments
• Decomposition of systems of Boolean functions determined by binary decision diagrams
• Series parallel decomposition of a system of incompletely specified Boolean functions
• Methods for decomposition of Boolean functions: algorithms, quality indices, and applications
• Decomposition of a system of incompletely specified Boolean functions defined with a binary decision diagram

This page was built for publication: Decomposing a system of Boolean functions into subsystems of connected functions

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